The Lazy Lambda Calculus With Constants
Download The Lazy Lambda Calculus With Constants PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get The Lazy Lambda Calculus With Constants book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
The Lazy Lambda Calculus with Constants
Author: National University of Singapore. Dept. of Information Systems and Computer Science
language: en
Publisher:
Release Date: 1994
Abstract: "In this paper we define the Lazy Lambda Calculus with constants, which extends Abramsky's pure lazy Lambda Calculus. This calculus forms a model for modern lazy functional programming languages. Such languages usually provide a call-by-value facility which is able to distinguish between the values [perpendicular] and [lambda]x.[perpendicular]. We study the operational and denotational semantics of this calculus both with and without a superimposed type inference system. Finally we compare the operational and denotational semantics, and give a limited full-abstraction result based on that of Plotkin."
Boehm Trees for the Lazy Lambda Calculus with Constants
Author: National University of Singapore. Department of Information Systems and Computer Science
language: en
Publisher:
Release Date: 1994