Description

Book Synopsis
This book, the first in the subject, is a comprehensive account of optimal reduction by two of its leading exponents. Practical implementation aspects are fully covered as are its mathematical underpinnings. 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.

Table of Contents
1. Introduction; 2. Optimal reduction; 3. The full algorithm; 4. Optimal reductions and linear logic; 5. Zig-zag; 6. Paths; 7. Read-back; 8. Other translations in sharing graphs; 9. Safe nodes; 10. Complexity; 11. Functional programming; 12. Source language; Bibliography; Index.

The Optimal Implementation of Functional Programming Languages 45 Cambridge Tracts in Theoretical Computer Science Series Number 45

    Product form

    A Hardback by Andrea Asperti, Stefano Guerrini

    £76.99

    Includes FREE delivery

    Order before 4pm tomorrow for delivery by Tue 27 Oct 2026.

    15 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of The Optimal Implementation of Functional Programming Languages 45 Cambridge Tracts in Theoretical Computer Science Series Number 45 by Andrea Asperti

      Book details

      Publisher Cambridge University Press
      Published 12 March 1998
      ISBN-13 9780521621120
      978-0521621120
      ISBN-10 0521621127
      Also in:
      Programming and scripting languages: general

      Description

      Book Synopsis
      This book, the first in the subject, is a comprehensive account of optimal reduction by two of its leading exponents. Practical implementation aspects are fully covered as are its mathematical underpinnings. 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.

      Table of Contents
      1. Introduction; 2. Optimal reduction; 3. The full algorithm; 4. Optimal reductions and linear logic; 5. Zig-zag; 6. Paths; 7. Read-back; 8. Other translations in sharing graphs; 9. Safe nodes; 10. Complexity; 11. Functional programming; 12. Source language; Bibliography; Index.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account