Neuigkeiten Hilfe Institutioneller Zugang
Zurück zu den Ergebnissen
Bibliografischer Datensatz · Ansicht und Zugriff
Artículo

An intrinsic denotational semantics for a lazy functional language

Rodríguez, Leonardo · Springer · 2015

Open-Access-Volltext
Schnellübersicht. Prüfen Sie die grundlegenden Angaben und öffnen Sie den Inhalt über die Hauptschaltfläche. Die Seite zeigt nur die Informationen, die zum Identifizieren, Zitieren und Öffnen des Werks nötig sind.
Autor / Verantwortliche
Rodríguez, Leonardo
Verlag
Springer
Jahr
2015
ISSN
0302-9743
ISSN
0302-9743
Sprache
Inglés

Zugriff auf die Ressource

Öffnen Sie den Inhalt über die Hauptoption oder wählen Sie eine andere verfügbare Quelle.

CONICET Digital CONICET Digital OAI-PMH
Entrar por CONICET Digital
Hauptzugriff

Open-Access-Volltext

Texto completo identificado como acceso abierto.
Text öffnen

Übersicht

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

Zitieren

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

Teilen und drucken

Speichern Sie den Datensatz, kopieren Sie den Permalink oder drucken Sie ihn als PDF.

Referenz exportieren

Exportieren Sie den Datensatz in gängigen Formaten für Literaturverwaltungsprogramme.

RIS BibTeX

Ressourcendetails

Bibliografische Angaben zur Prüfung, ob es sich um das richtige Material handelt.

Titel
An intrinsic denotational semantics for a lazy functional language
Autor / Mitwirkende
Rodríguez, Leonardo
Verlag
Springer
Erscheinungsjahr
2015
ISSN
0302-9743
ISSN
0302-9743
Sprache
Inglés

Schlagwörter

Entdecken Sie über diese Schlagwörter weitere verwandte Ressourcen.

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