Two-Level Functional Languages

Two-Level Functional Languages
Author :
Publisher : Cambridge University Press
Total Pages : 312
Release :
ISBN-10 : 0521018471
ISBN-13 : 9780521018470
Rating : 4/5 (71 Downloads)

Book Synopsis Two-Level Functional Languages by : Flemming Nielson

Download or read book Two-Level Functional Languages written by Flemming Nielson and published by Cambridge University Press. This book was released on 2005-08-22 with total page 312 pages. Available in PDF, EPUB and Kindle. Book excerpt: The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently, the ability to specify code and verify program correctness can be improved. Two developments are needed, the first of which introduces the binding time distinction into the lambda calculus in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the interpretation of the resulting language, which is known as the mixed lambda-calculus and combinatory logic. The notion of "parametrized semantics" is used to describe code generation and abstract interpretation. The code generation is for a simple abstract machine designed for the purpose, it is close to the categorical abstract machine. The abstract interpretation focuses on a strictness analysis that generalizes Wadler's analysis for lists. It is also shown how the results of abstract interpretation may be used to improve the code generation.


Two-Level Functional Languages Related Books

Two-Level Functional Languages
Language: en
Pages: 312
Authors: Flemming Nielson
Categories: Computers
Type: BOOK - Published: 2005-08-22 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time a
The Functional Approach to Programming
Language: en
Pages: 464
Authors: Guy Cousineau
Categories: Computers
Type: BOOK - Published: 1998-10-29 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Advanced text on how to program in the functional way; has exercises, solutions and code.
The Optimal Implementation of Functional Programming Languages
Language: en
Pages: 412
Authors: Andrea Asperti
Categories: Computers
Type: BOOK - Published: 1998-12-03 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

First account of the subject by two of its leading exponents. Essentially self-contained.
The Implementation of Functional Programming Languages
Language: en
Pages: 472
Authors: Simon L. Peyton Jones
Categories: Computers
Type: BOOK - Published: 1987 - Publisher: Prentice Hall

DOWNLOAD EBOOK

An Introduction to Functional Programming Through Lambda Calculus
Language: en
Pages: 338
Authors: Greg Michaelson
Categories: Mathematics
Type: BOOK - Published: 2013-04-10 - Publisher: Courier Corporation

DOWNLOAD EBOOK

Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, a