An intrinsic denotational semantics for a lazy functional language
Rodríguez, Leonardo; An intrinsic denotational semantics for a lazy functional language; Springer; Lecture Notes in Computer Science; 9325; 9-2015; 75-80
In this paper we present a denotational semantics for a lazy functional language. The semantics is intrinsic in the sense that it defines meaning for typing derivations instead of language expressions. We contrast our semantics with the well-known evaluation rules defined by Sestoft  and show that these rules preserve types and meaning.