Daniel M. Bikel, Vittorio Castelli
ACL 2008
Paper
The semantics of lazy functional languages
Abstract
A denotational semantics for the λ-calculus is described. The semantics is continuation-based, and so reflects the order in which expressions are evaluated. It provides a means by which lazy functional languages can be better understood. © 1989.
Related
Conference paper
Modeling polarization for Hyper-NA lithography tools and masks
Kafai Lai, Alan E. Rosenbluth, et al.
SPIE Advanced Lithography 2007
John M. Boyer, Charles F. Wiecha
DocEng 2009
Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM