A Call-by-Need Lambda Calculus Export

@inproceedings{citeulike:70961, abstract = {The mismatch between the operational semantics of the lambda calculus and the actual behavior of implementations is a major obstacle for compiler writers. They cannot explain the behavior of their evaluator in terms of source level syntax, and they cannot easily compare distinct implementations of different lazy strategies. In this paper we derive an equational characterization of call-by-need and prove it correct with respect to the original lambda calculus. The theory is a strictly smaller...}, author = {Ariola, Zena M. and Felleisen, Matthias and Maraist, John and Odersky, Martin and Wadler, Philip}, booktitle = {Proceedings of 22nd Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL)}, citeulike-article-id = {70961}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.2287}, keywords = {lambda-calculus, lazy}, pages = {233--246}, posted-at = {2006-05-05 19:28:40}, priority = {3}, title = {A Call-by-Need Lambda Calculus}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.2287}, year = {1995} }

TY - CONF ID - citeulike:70961 L3 - citeulike-article-id:70961 N2 - The mismatch between the operational semantics of the lambda calculus and the actual behavior of implementations is a major obstacle for compiler writers. They cannot explain the behavior of their evaluator in terms of source level syntax, and they cannot easily compare distinct implementations of different lazy strategies. In this paper we derive an equational characterization of call-by-need and prove it correct with respect to the original lambda calculus. The theory is a strictly smaller... EP - 246 TI - A Call-by-Need Lambda Calculus T2 - Proceedings of 22nd Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) SP - 233 KW - lambda-calculus KW - lazy AU - Ariola, Zena AU - Felleisen, Matthias AU - Maraist, John AU - Odersky, Martin AU - Wadler, Philip PY - 1995/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.2287 ER -