Gal Badishi, Idit Keidar, et al.
IEEE TDSC
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
Arun Viswanathan, Nancy Feldman, et al.
IEEE Communications Magazine
Conference paper
Low-Resource Speech Recognition of 500-Word Vocabularies
Sabine Deligne, Ellen Eide, et al.
INTERSPEECH - Eurospeech 2001
Fan Zhang, Junwei Cao, et al.
IEEE TETC