An intrinsic denotational semantics for a lazy functional language

Rodríguez, Leonardo · Springer · 2015

Open-access full text

Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.

Author / responsible party

Rodríguez, Leonardo

Publisher

Springer

Year

2015

ISSN

0302-9743

ISSN

0302-9743

Language

English

Resource access

Open the content from the main option or choose another available source.

CONICET Digital CONICET Digital OAI-PMH

Entrar por CONICET Digital

Main access

Open-access full text

Texto completo identificado como acceso abierto.

Open text

Summary

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

How to cite

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 8 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title: An intrinsic denotational semantics for a lazy functional language

Author / contributors: Rodríguez, Leonardo

Publisher: Springer

Publication year: 2015

ISSN: 0302-9743

ISSN: 0302-9743

Language: English

Subjects

Explore related resources through these subjects.

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