The following pages link to (Q3829053):
Displaying 7 items.
- On the expressive power of finitely typed and universally polymorphic recursive procedures (Q1185006) (← links)
- The expressive power of higher-order types or, life without CONS (Q2740986) (← links)
- Extending the loop language with higher-order procedural variables (Q2946583) (← links)
- On display optimization for Algol-like languages (Q3031914) (← links)
- (Q3347253) (← links)
- What is a universal higher-order programming language? (Q4630303) (← links)
- (Q5550736) (← links)