Optimal Implementation of Functional Programming Languages

Klappentext First account of the subject by two of its leading exponents. Essentially self-contained. Zusammenfassung 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. Inhaltsverzeichnis 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.

Product details

• Authors: Andrea Asperti, Andrea (Universit... Degli Studi Asperti, Andrea (Universita Degli Studi Asperti, Andrea Guerrini Asperti, Stefano Guerrini
• Assisted by: Samson Abramsky (Editor), C. J. van Rijsbergen (Editor), C. J. van Rijsbergen (Editor)
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 03.12.1998
• EAN: 9780521621120
• ISBN: 978-0-521-62112-0
• No. of pages: 408
• Series: Cambridge Tracts in Theoretica
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT