Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design
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
Bowen Zhou, Bing Xiang, et al.
SSST 2008
Liat Ein-Dor, Y. Goldschmidt, et al.
IBM J. Res. Dev
Elliot Linzer, M. Vetterli
Computing