Raymond Wu, Jie Lu
ITA Conference 2007
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.
Raymond Wu, Jie Lu
ITA Conference 2007
Thomas M. Cheng
IT Professional
Xiaozhu Kang, Hui Zhang, et al.
ICWS 2008
Fan Zhang, Junwei Cao, et al.
IEEE TETC