The Optimal Implementation of Functional Programming Languages: 45 (Cambridge Tracts in Theoretical Computer Science, Series Number 45) - Image 1

£77.91

Cambridge University Press The Optimal Implementation of Functional Programming Languages: 45 (Cambridge Tracts in Theoretical Computer Science, Series Number 45)

Name: The Optimal Implementation of Functional Programming Languages: 45 (Cambridge Tracts in Theoretical Computer Science, Series Number 45)
Brand: Cambridge University Press
Price: 66.75 GBP
Availability: InStock

bibliography, index

Introduction to Programming

Price History & Forecast

Last 81 days • 81 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 81 days • 7 price levels

Days at Price

Current Price

Price Analysis

Most common price: £78 (36 days, 44.4%)

Price range: £67 - £78

Price levels: 7 different prices over 81 days

Description

All traditional implementation techniques for functional languages (mostly based on supercombinators, environments or continuations) fail to avoid useless repetition of work; they are not 'optimal' in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction time. Optimal reduction is an innovative graph reduction technique for functional expressions, introduced by Lamping in 1990, that solves the sharing problem. This book, the first in the subject, is a comprehensive account by two of its leading exponents. Practical implementation aspects are fully covered as are the mathematical underpinnings of the subject. The relationship to the pioneering work of Lévy and to Girard's more recent Geometry of Interaction are explored; optimal reduction is thereby revealed as a prime example of how a beautiful mathematical theory can lead to practical benefit. The book is essentially self-contained, requiring no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers in lambda calculus, functional programming or linear logic.

Key Features

The Optimal Implementation of Functional Programming Languages: 45 Cambridge Tracts in Theoretical Computer Science, Series Number 45

Product type: ABIS BOOK

Brand: Cambridge University Press

Product Specifications

Brand: Cambridge University Press
Model: bibliography, index
Format: hardcover
ASIN: 0521621127
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 03 December 1998
Listed Since: 16 December 2006

Barcode

No barcode data available

Cambridge University Press The Optimal Implementation of Functional Programming Languages: 45 (Cambridge Tracts in Theoretical Computer Science, Series Number 45)

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)

Cambridge Two-Level Functional Languages - Series 34 Book

Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994 (Workshops in Computing)

Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)

Functional Programming, Glasgow 1992: Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6–8 July 1992 (Workshops in Computing)

Mathematics in Programming

Verified Functional Programming in Agda (ACM Books)

Java Software Solutions:Foundations of Program Design, CodeMate Enhanced Edition(International Edition) with Haskell:The Craft of Functional Programming

Verified Functional Programming in Agda (ACM Books)

Implementing Functional Logic Programs: by Translation into Purely Functional Programs

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, ... (Lecture Notes in Computer Science, 6324)

Theories of Programming Languages

Theories of Programming Languages

ML for the Working Programmer

Introduction to Functional Programming Systems Using Haskell: 27 (Cambridge Computer Science Texts, Series Number 27)

Reflections on the Work of C.A.R. Hoare

Functional Design and Architecture: Examples in Haskell

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Programming Languages: An Active Learning Approach

Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

Implementation of Functional Languages: 10th International Workshop, IFL'98, London, UK, September 9-11, 1998, Selected Papers: 1595 (Lecture Notes in Computer Science, 1595)

Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... 902 (Lecture Notes in Computer Science, 902)