An intrinsic denotational semantics for a lazy functional language

Volver a la Vista simple
dc.conicet.fuenteindividual
dc.conicet.organizacionUniversidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Ciencias de la Computación
dc.conicet.paisOrganizacionArgentina
dc.conicet.produccionid5900493
dc.contributor.authorRodríguez, Leonardo
dc.date.accessioned2019-02-04T18:08:09Z
dc.date.available2019-02-04T18:08:09Z
dc.date.issued2015-09
dc.date.updated2019-02-04T13:18:07Z
dc.description.abstractIn 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.es
dc.description.filFil: 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.formatapplication/pdfes
dc.identifier.citationRodríguez, Leonardo; An intrinsic denotational semantics for a lazy functional language; Springer; Lecture Notes in Computer Science; 9325; 9-2015; 75-80es
dc.identifier.institucionalCONICET
dc.identifier.issn0302-9743es
dc.identifier.repoCONICET Digital
dc.identifier.urihttp://hdl.handle.net/11336/69324
dc.journal.ciudadBerlínes
dc.journal.pagination75-80es
dc.journal.paisAlemaniaes
dc.journal.titleLecture Notes in Computer Sciencees
dc.journal.volume9325es
dc.language.isoenges
dc.publisherSpringeres
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/doi/https://dx.doi.org/10.1007/978-3-319-24012-1_6
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/url/https://link.springer.com/chapter/10.1007/978-3-319-24012-1_6
dc.rightsinfo:eu-repo/semantics/openAccess*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/*
dc.subjectDenotational Semanticses
dc.subjectLazy Evaluationes
dc.subjectType Theoryes
dc.subject.classificationCiencias de la Computaciónes
dc.subject.classificationCiencias de la Computación e Informaciónes
dc.subject.classificationCIENCIAS NATURALES Y EXACTASes
dc.titleAn intrinsic denotational semantics for a lazy functional languagees
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion

Archivos

Bloque original

Miniatura
Nombre:
CONICET_Digital_Nro.0b685409-bb6d-496c-b1d3-8ab3afda1d44_A.pdf
Tamaño:
261.08 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Articulos(CCT - CORDOBA)
Volver a la Vista simple