Two-Level Functional Languages
(Part of the Cambridge Tracts in Theoretical Computer Science Series)
No Customer Reviews
Select Format
Select Condition 
Book Overview
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...
Format:Paperback
Language:English
ISBN:0521018471
ISBN13:9780521018470
Release Date:August 2005
Publisher:Cambridge University Press
Length:312 Pages
Weight:1.10 lbs.
Dimensions:0.7" x 6.7" x 9.6"
Customer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
