Two-Level Functional Languages - Cambridge Tracts 34 - Image 1

£87.40

Cambridge University Press Two-Level Functional Languages - Cambridge Tracts 34

Name: Two-Level Functional Languages - Cambridge Tracts 34
Brand: Cambridge University Press
Price: 87.4 GBP
Availability: InStock

Architecture & Microprocessors

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

£87 today · previous high £87 · all-time low £75

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

Historical

Generating forecast…

Price Distribution

Price distribution over 24 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £75 (16 days, 66.7%)

Price range: £75 - £87

Price levels: 2 different prices over 24 days

Description

Two-Level Functional Languages presents a comprehensive framework extending the type notation of functional languages with binding time notation, distinguishing between run-time and compile-time operations. This scholarly work introduces binding time distinctions into the lambda calculus in a manner analogous to the introduction of types into the untyped lambda calculus. The authors develop methods for introducing combinators for run-time execution and explore the interpreter design necessary to support these dual-level abstractions. By separating compile-time and run-time concerns within a unified type system, this book enables programmers to specify code with greater precision and verify program correctness more rigorously. Part of the Cambridge Tracts in Theoretical Computer Science series, this volume is essential for researchers and advanced practitioners working in functional language design, compiler construction, and formal verification of software systems.

Key Features

Two-Level Functional Languages extends type notation with binding time distinctions between run-time and compile-time operations.

The framework introduces binding time into the lambda calculus, analogous to the historical introduction of types into the untyped lambda calculus.

Methods presented include introducing combinators for run-time execution within the dual-level language design.

Cambridge Tracts in Theoretical Computer Science series number 34 provides a rigorous treatment suitable for academic research and advanced study.

The dual-level approach enables improved code specification and enhanced program correctness verification through binding time notation.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 0521403847
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 16 July 1992
Listed Since: 22 January 2007

Barcode

No barcode data available

Cambridge University Press Two-Level Functional Languages - Cambridge Tracts 34

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 Functional Programming Implementation Book - Series 45

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)

Mathematics in Programming

Cambridge Lambda-Calculus and Combinators Mathematics Book

Implementing Functional Logic Programs: by Translation into Purely Functional Programs

Verified Functional Programming in Agda (ACM Books)

Verified Functional Programming in Agda (ACM Books)

Theories of Programming Languages

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

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

Theories of Programming Languages

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

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)

Practical Foundations for Programming Languages

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

Understanding Programming Languages

Introduction to Programming Languages

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Programming Language Explorations

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

Introduction to Programming Languages

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity