Novedades Ayuda Acceso institucional
Volver a resultados
Ficha bibliográfica · Consulta y acceso
Artículo

An intrinsic denotational semantics for a lazy functional language

Rodríguez, Leonardo · Springer · 2015

Acceso abierto al texto completo
Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.
Autor / responsable
Rodríguez, Leonardo
Editorial
Springer
Año
2015
ISSN
0302-9743
ISSN
0302-9743
Idioma
Inglés

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

CONICET Digital CONICET Digital OAI-PMH
Entrar por CONICET Digital
Acceso principal

Acceso abierto al texto completo

Texto completo identificado como acceso abierto.
Abrir texto

Resumen

Descripción general del contenido del recurso.

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

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Rodríguez, L. (2015). An intrinsic denotational semantics for a lazy functional language. http://hdl.handle.net/11336/69324

MLA

Rodríguez, Leonardo. "An intrinsic denotational semantics for a lazy functional language." 2015. http://hdl.handle.net/11336/69324.

Chicago

Rodríguez, Leonardo. 2015. "An intrinsic denotational semantics for a lazy functional language.". http://hdl.handle.net/11336/69324.

Harvard

Rodríguez, L. 2015, An intrinsic denotational semantics for a lazy functional language, Springer, available at: http://hdl.handle.net/11336/69324 [Accessed 5 Aug. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

Título
An intrinsic denotational semantics for a lazy functional language
Autor / colaboradores
Rodríguez, Leonardo
Editorial
Springer
Año de publicación
2015
ISSN
0302-9743
ISSN
0302-9743
Idioma
Inglés

Materias

Explorá otros recursos relacionados a partir de estas materias.

Denotational Semantics; Lazy Evaluation; Type Theory; https://purl.org/becyt/ford/1.2; https://purl.org/becyt/ford/1
Copiado