Small-step and big-step semantics for call-by-need
From MaRDI portal
Publication:3648355
DOI10.1017/S0956796809990219zbMath1184.68164MaRDI QIDQ3648355
Keiko Nakata, Masahito Hasegawa
Publication date: 25 November 2009
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items
The adequacy of Launchbury's natural semantics for lazy evaluation, Three Syntactic Theories for Combinatory Graph Reduction, The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics, The Role of Indirections in Lazy Natural Semantics
Cites Work