Artículo

An intrinsic denotational semantics for a lazy functional language

Rodríguez, LeonardoIcon
Fecha de publicación: 09/2015
Editorial: Springer
Revista: Lecture Notes in Computer Science
ISSN: 0302-9743
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

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.
Palabras clave: Denotational Semantics , Lazy Evaluation , Type Theory
 
Archivos asociados
Thumbnail
 
Tamaño: 261.0Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/69324
DOI: https://dx.doi.org/10.1007/978-3-319-24012-1_6
URL: https://link.springer.com/chapter/10.1007/978-3-319-24012-1_6
Colecciones
Articulos(CCT - CORDOBA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - CORDOBA
Citación
Rodríguez, Leonardo; An intrinsic denotational semantics for a lazy functional language; Springer; Lecture Notes in Computer Science; 9325; 9-2015; 75-80
Compartir
Altmétricas