Pages that link to "Item:Q3648355"
From MaRDI portal
The following pages link to Small-step and big-step semantics for call-by-need (Q3648355):
Displayed 4 items.
- Three Syntactic Theories for Combinatory Graph Reduction (Q3003482) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- The Role of Indirections in Lazy Natural Semantics (Q3455082) (← links)
- The adequacy of Launchbury's natural semantics for lazy evaluation (Q4577822) (← links)