Beomseok Nam, Henrique Andrade, et al.
ACM/IEEE SC 2006
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
William Hinsberg, Joy Cheng, et al.
SPIE Advanced Lithography 2010
Conference paper
QALD-3: Multilingual question answering over linked data
Elena Cabrio, Philipp Cimiano, et al.
CLEF 2013
Leo Liberti, James Ostrowski
Journal of Global Optimization