We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£72.35
Cambridge University Press Cambridge Two-Level Functional Languages - Series 34 Book
Price data last checked 52 day(s) ago - refreshing...
Price History & Forecast
Last 39 days • 39 data points (No recent data available)
Price Distribution
Price distribution over 39 days • 4 price levels
Price Analysis
Most common price: £72 (12 days, 30.8%)
Price range: £68 - £73
Price levels: 4 different prices over 39 days
Description
Key Features
Introduces a framework for extending type notation in functional languages to include specific binding times.
Distinguishes between run-time and compile-time to help improve the ability to specify code.
Provides methods to enhance the verification of program correctness through binding time distinction.
Applies binding time distinctions to the lambda calculus in a manner analogous to type introduction.
Includes presented methods for the introduction of combinators specifically for run-time use.
Product Specifications
- 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
Similar Products You Might Like
Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Cambridge University Press
Lambda-Calculus and Combinators: An Introduction
Cambridge University Press
Practical Foundations for Programming Languages
Cambridge University Press
Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)
Cambridge University Press
Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution: 32 (Cambridge Tracts in Theoretical Computer Science, Series Number 32)
Cambridge University Press
Programming Languages: Build, Prove, and Compare
Implementing Functional Logic Programs: by Translation into Purely Functional Programs
Südwestdeutscher Verlag für Hochschulschriften
Type Theory and Formal Proof: An Introduction
Cambridge University Press
Formal Languages and Compilation (Texts in Computer Science)
Springer
Types & Programming Languages (The MIT Press)
MIT Press
Functional Approach to Programming
Cambridge University Press
Domains and Lambda Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Cambridge University Press
Lisp in Small Pieces
Cambridge University Press
Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)
Birkhauser
Springer - Logics of Specification Languages Monograph
Springer
Modern Compiler Implement in ML
Cambridge University Press
Language Computability and Formal Language Theory
Society Publishing
Transitions and Trees: An Introduction to Structural Operational Semantics
Cambridge University Press
Introduction to Coalgebra: Towards Mathematics of States and Observation: 59 (Cambridge Tracts in Theoretical Computer Science, Series Number 59)
Cambridge University Press
Formal Languages and Compilation (Texts in Computer Science)
Springer
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics: 20 (Outstanding Contributions to Logic, 20)
Springer
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Type-Logical Semantics
MIT Press
