×

Call-by-value is dual to call-by-name. (English) Zbl 1315.68060

Proceedings of the 8th ACM SIGPLAN international conference on functional programming, ICFP ’03, Uppsala, Sweden, August 25–29, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-756-7). ACM SIGPLAN Notices 38, No. 9, 189-201 (2003).

MSC:

68N18 Functional programming and lambda calculus
03B70 Logic in computer science
PDF BibTeX XML Cite
Full Text: DOI