Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007
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
Maciel Zortea, Miguel Paredes, et al.
IGARSS 2021
Conference paper
True 3-D displays for avionics and mission crewstations
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997
György E. Révész
Theoretical Computer Science