Pages that link to "Olivier Danvy"
Showing 23 items.
- SECD machine (links | edit)
- Partial evaluation (links | edit)
- Peter Landin (links | edit)
- Continuation-passing style (links | edit)
- Olivier Danvy (transclusion) (links | edit)
- John C. Reynolds (links | edit)
- Meta-circular evaluator (links | edit)
- J operator (links | edit)
- Delimited continuation (links | edit)
- Normalisation by evaluation (links | edit)
- List of programming language researchers (links | edit)
- Defunctionalization (links | edit)
- Higher-Order and Symbolic Computation (links | edit)
- Krivine machine (links | edit)
- CEK Machine (links | edit)
- Refocusing (semantics) (links | edit)
- Julia Lawall (links | edit)
- Talk:Olivier Danvy (transclusion) (links | edit)
- User:Alai/orphansM-O (links | edit)
- User:Tony Sidaway/Living people/tranche 020 (links | edit)
- User:Ruud Koot/Computer science (links | edit)
- User:OccultZone/France (links | edit)
- User talk:192.38.33.23 (links | edit)