TY  - RPRT
TI  - The Call-by-need Lambda Calculus, Revisited
AU  - Stephen Chang
AU  - Matthias Felleisen
PY  - 2012
UR  - https://arxiv.org/abs/1201.3907
ID  - 1201.3907
ER  -