Small-step and big-step semantics for call-by-need
From MaRDI portal
Publication:3648355
DOI10.1017/S0956796809990219zbMath1184.68164MaRDI QIDQ3648355
Masahito Hasegawa, Keiko Nakata
Publication date: 25 November 2009
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items
Cites Work