info:eu-repo/semantics/article
An intrinsic denotational semantics for a lazy functional language
Registro en:
Rodríguez, Leonardo; An intrinsic denotational semantics for a lazy functional language; Springer; Lecture Notes in Computer Science; 9325; 9-2015; 75-80
0302-9743
CONICET Digital
CONICET
Autor
Rodríguez, Leonardo
Resumen
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 [17] and show that these rules preserve types and meaning. Fil: Rodríguez, Leonardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Ciencias de la Computación; Argentina