Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler
The Call-by-Need λ Calculus
POPL, 1995.
@inproceedings{POPL-1995-AriolaFMOW,
author = "Zena M. Ariola and Matthias Felleisen and John Maraist and Martin Odersky and Philip Wadler",
booktitle = "{Conference Record of the 22nd Symposium on Principles of Programming Languages}",
doi = "10.1145/199448.199507",
editor = "Ron K. Cytron and Peter Lee",
isbn = "0-89791-692-1",
pages = "233--246",
publisher = "{ACM Press}",
title = "{The Call-by-Need λ Calculus}",
year = 1995,
}
Tags: