![](/img/cover-not-exists.png)
The call-by-need lambda calculus
MARAIST, JOHN, ODERSKY, MARTIN, WADLER, PHILIPVolume:
8
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/s0956796898003037
Date:
May, 1998
File:
PDF, 431 KB
english, 1998