Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings

  • Our motivation is the question whether the lazy lambda calculus, a pure lambda calculus with the leftmost outermost rewriting strategy, considered under observational semantics, or extensions thereof, are an adequate model for semantic equivalences in real-world purely functional programming languages, in particular for a pure core language of Haskell. We explore several extensions of the lazy lambda calculus: addition of a seq-operator, addition of data constructors and case-expressions, and their combination, focusing on conservativity of these extensions. In addition to untyped calculi, we study their monomorphically and polymorphically typed versions. For most of the extensions we obtain non-conservativity which we prove by providing counterexamples. However, we prove conservativity of the extension by data constructors and case in the monomorphically typed scenario.

Volltext Dateien herunterladen

Metadaten exportieren

Weitere Dienste

Teilen auf Twitter Suche bei Google Scholar
Metadaten
Verfasserangaben:Manfred Schmidt-SchaußORCiDGND, Elena Machkasova, David SabelORCiDGND
URN:urn:nbn:de:hebis:30:3-336069
URL:http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank51.pdf
Titel des übergeordneten Werkes (Englisch):Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 51
Schriftenreihe (Bandnummer):Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik (51 [version 1.0])
Verlag:Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology
Verlagsort:Frankfurt [am Main]
Dokumentart:Arbeitspapier
Sprache:Englisch
Datum der Veröffentlichung (online):26.04.2013
Datum der Erstveröffentlichung:26.04.2013
Veröffentlichende Institution:Universitätsbibliothek Johann Christian Senckenberg
Datum der Freischaltung:24.06.2014
Ausgabe / Heft:Version: 26. April 2013
Seitenzahl:23
Erste Seite:1
Letzte Seite:23
Bemerkung:
s.a. urn:nbn:de:hebis:30:3-336056 (Vers. 22.08.2013)
HeBIS-PPN:344382834
Institute:Informatik und Mathematik / Informatik
DDC-Klassifikation:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Sammlungen:Universitätspublikationen
Lizenz (Deutsch):License LogoDeutsches Urheberrecht

OPUS4 Logo