Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Functional

The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science)


Free Shipping Included! The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science) by Andrea Asperti at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. All traditional implementation techniques for functional languages fail to avoid useless repetition of work. They are not ''optimal'' in their


Product Description

All traditional implementation techniques for functional languages 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 work, the first on 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.

Additional Information

Manufacturer:Cambridge University Press
Brand:Andrea Asperti
Publisher:Cambridge University Press
Studio:Cambridge University Press
EAN:9780521621120
Item Weight:1.7 pounds
Item Size:1.06 x 8.98 x 8.98 inches
Package Weight:1.7 pounds
Package Size:6.2 x 0.9 x 0.9 inches

The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science) by Andrea Asperti

Buy Now:
The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science)

Brand: Andrea Asperti
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$116.00


Quantity:  

 


View More In Functional.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Andrea Asperti, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


mpn: black & white tables, figures, ean: 9781111526504, isbn: 1111526508,
From the respected instructor and author Paul Addison, PRINCIPLES OF PROGRAM DESIGN: PROBLEM SOLVING WITH JAVASCRIPT presents the fundamental concepts of good program design, illustrated and reinforced by hands-on examples using JavaScript. Why JavaS...

mpn: illustrations, index, ean: 9780137903870, isbn: 0137903871,
Written by a well-known computer science education and researcher. No previous knowledge of ML or functional programming is assumed. This is the first book that offers BOTH a highly accessible, step-by-step introductory tutorial on ML programming a...

ean: 9781785611070, isbn: 1785611070,
Modern electrical power systems are facing complex challenges, arising from distributed generation and intermittent renewable energy. Fuzzy logic is one approach to meeting this challenge and providing reliability and power quality. The book is about...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.