Pages that link to "Biography:Olivier Danvy"
From HandWiki
The following pages link to Biography:Olivier Danvy:
Displayed 11 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Krivine machine (← links)
- SECD machine (← links)
- Meta-circular evaluator (← links)
- Delimited continuation (← links)
- Defunctionalization (← links)
- Higher-Order and Symbolic Computation (← links)
- CEK Machine (← links)
- Refocusing (semantics) (← links)
- Biography:List of programming language researchers (← links)
- Biography:John C. Reynolds (← links)
- Biography:Peter Landin (← links)