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

    £73.14

    Includes FREE delivery

    RRP £76.99 – you save £3.85 (5%)

    Order before 4pm tomorrow for delivery by Thu 2 Jul 2026.

    A Hardback by Andrea Asperti, Stefano Guerrini

    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

      Publisher: Cambridge University Press
      Publication Date: 12/3/1998 12:00:00 AM
      ISBN13: 9780521621120, 978-0521621120
      ISBN10: 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