dc.creator | Rodríguez, Leonardo | |
dc.date | 2015-09 | |
dc.identifier | http://hdl.handle.net/11336/69324 | |
dc.identifier | Rodríguez, Leonardo; An intrinsic denotational semantics for a lazy functional language; Springer; Lecture Notes in Computer Science; 9325; 9-2015; 75-80 | |
dc.identifier | 0302-9743 | |
dc.identifier | CONICET Digital | |
dc.identifier | CONICET | |
dc.description | 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. | |
dc.description | 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 | |
dc.format | application/pdf | |
dc.format | application/pdf | |
dc.language | eng | |
dc.publisher | Springer | |
dc.relation | info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-24012-1_6 | |
dc.relation | info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/chapter/10.1007/978-3-319-24012-1_6 | |
dc.rights | info:eu-repo/semantics/openAccess | |
dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
dc.subject | Denotational Semantics | |
dc.subject | Lazy Evaluation | |
dc.subject | Type Theory | |
dc.subject | https://purl.org/becyt/ford/1.2 | |
dc.subject | https://purl.org/becyt/ford/1 | |
dc.title | An intrinsic denotational semantics for a lazy functional language | |
dc.type | info:eu-repo/semantics/article | |
dc.type | info:ar-repo/semantics/artículo | |
dc.type | info:eu-repo/semantics/publishedVersion | |