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: 77.91 GBP
Availability: InStock

bibliography, index

Introduction to Programming

This is the most expensive it has ever been. Walk away.

£78 today · previous high £78 · all-time low £74

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 28 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £78 (24 days, 85.7%)

Price range: £74 - £78

Price levels: 2 different prices over 28 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)

This is the most expensive it has ever been. Walk away.

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

Lambda-Calculus and Combinators: An Introduction

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)