Robert C. Durbeck
IEEE TACON
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
Xiaozhu Kang, Hui Zhang, et al.
ICWS 2008
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007
Paper
The Qx-coder
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev