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

£50.99

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

Name: Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Brand: Cambridge University Press
Price: 50.99 GBP
Availability: InStock

4 b/w illus. 35 tables

Architecture & Microprocessors

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

£51 today · previous high £51 · all-time low £49

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 68 days · 68 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 68 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £51 (39 days, 57.4%)

Price range: £49 - £51

Price levels: 2 different prices over 68 days

Description

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 generalises Wadler's analysis for lists. Book Description This book provides a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times.

Product Specifications

Brand: Cambridge University Press
Model: 4 b/w illus. 35 tables
Format: paperback
ASIN: 0521018471
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 21 August 2008
Listed Since: 04 January 2007

Barcode

No barcode data available

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

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Cambridge Two-Level Functional Languages - Series 34 Book

Cambridge Functional Programming Implementation Book - Series 45

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

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

Mathematics in Programming

Lambda-Calculus and Combinators: An Introduction

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

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

Verified Functional Programming in Agda (ACM Books)

Implementing Functional Logic Programs: by Translation into Purely Functional Programs

Verified Functional Programming in Agda (ACM Books)

Theories of Programming Languages

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)

Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)

Practical Foundations for Programming Languages

Understanding Programming Languages

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

Springer Programming Language Design and Implementation Book

Programming Language Explorations

Introduction to Programming Languages

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

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Introduction to Programming Languages

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity