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

£76.99

Includes FREE delivery

Order before 4pm today for delivery by Sat 17 Jan 2026.

A Hardback by Andrea Asperti, Stefano Guerrini

15 in stock


    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:
    Computing 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