TY  - RPRT
TI  - Small-step and big-step semantics for call-by-need
AU  - Keiko Nakata
AU  - Masahito Hasegawa
PY  - 2009
UR  - https://arxiv.org/abs/0907.4640
ID  - 0907.4640
ER  -