Nanda Kambhatla
ACL 2004
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.
Nanda Kambhatla
ACL 2004
Yao Qi, Raja Das, et al.
ISSTA 2009
Robert C. Durbeck
IEEE TACON
Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design