The following pages link to Ian Zerny (Q428885):
Displaying 5 items.
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation (Q428886) (← links)
- On graph rewriting, reduction, and evaluation in the presence of cycles (Q526460) (← links)
- Three syntactic theories for combinatory graph reduction (Q2946718) (← links)
- Three Syntactic Theories for Combinatory Graph Reduction (Q3003482) (← links)
- Defunctionalized Interpreters for Call-by-Need Evaluation (Q3558342) (← links)
