Small-step and big-step semantics for call-by-need (2009)

by Keiko Nakata, et al.
Citations:8 - 2 self