Mads Sig Ager, Olivier Danvy, Jan Midtgaard. A functional correspondence between call-by-need evaluators and lazy abstract machines. Inf. Process. Lett., 90(5):223-232, 2004. [doi]
@article{AgerDM04, title = {A functional correspondence between call-by-need evaluators and lazy abstract machines}, author = {Mads Sig Ager and Olivier Danvy and Jan Midtgaard}, year = {2004}, doi = {10.1016/j.ipl.2004.02.012}, url = {http://dx.doi.org/10.1016/j.ipl.2004.02.012}, tags = {laziness, abstract machine}, researchr = {https://researchr.org/publication/AgerDM04}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {90}, number = {5}, pages = {223-232}, }