The following pages link to Daniel P. Friedman (Q1101432):
Displaying 9 items.
- A syntactic theory of sequential control (Q1101435) (← links)
- Output driven interpretation of recursive programs, or writing creates and destroys data structures (Q1238624) (← links)
- A syntactic theory of sequential state (Q1263961) (← links)
- Improving the lazy Krivine machine (Q2464718) (← links)
- (Q2736592) (← links)
- Enriching the lambda calculus with contexts (Q2817703) (← links)
- Trampolined style (Q2817711) (← links)
- Backtracking, interleaving, and terminating monad transformers (Q2936782) (← links)
- (Q3339256) (← links)
