Novità Aiuto Accesso istituzionale
Torna ai risultati
Scheda bibliografica · Consultazione e accesso
Artículo

An intrinsic denotational semantics for a lazy functional language

Rodríguez, Leonardo · Springer · 2015

Testo completo ad accesso aperto
Lettura rapida. Controlla i dati essenziali della risorsa e accedi al contenuto con il pulsante principale. La scheda mostra solo le informazioni necessarie per identificare, citare e aprire l’opera.
Autore / responsabile
Rodríguez, Leonardo
Editore
Springer
Anno
2015
ISSN
0302-9743
ISSN
0302-9743
Lingua
Inglés

Accesso alla risorsa

Apri il contenuto dall’opzione principale o scegli un’altra fonte disponibile.

CONICET Digital CONICET Digital OAI-PMH
Entrar por CONICET Digital
Accesso principale

Testo completo ad accesso aperto

Texto completo identificado como acceso abierto.
Apri testo

Riepilogo

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

Come citare

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

Condividi e stampa

Salva la scheda, copia il link permanente o stampala in PDF.

Esporta riferimento

Esporta il record nei formati più comuni per usarlo con un gestore bibliografico.

RIS BibTeX

Dettagli della risorsa

Informazioni bibliografiche utili per verificare che sia il materiale corretto.

Titolo
An intrinsic denotational semantics for a lazy functional language
Autore / collaboratori
Rodríguez, Leonardo
Editore
Springer
Anno di pubblicazione
2015
ISSN
0302-9743
ISSN
0302-9743
Lingua
Inglés

Soggetti

Esplora risorse correlate a partire da questi soggetti.

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