My Library

University LibraryCatalogue

For faster,
Use Lean
Get it now
Don't show me again
Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art
Author Asperti, Andrea.

Title The optimal implementation of functional programming languages / Andrea Asperti, Stefano Guerrini.

Published Cambridge, UK ; New York : Cambridge University Press, 1998.


Location Call No. Status
 UniM Store Engin  005.13 ASPE    AVAILABLE
Physical description xi, 392 pages : illustrations ; 24 cm.
Series Cambridge tracts in theoretical computer science.
Cambridge tracts in theoretical computer science.
Bibliography Includes bibliographical references (pages 383-389) and index.
Contents 1. Introduction -- 2. Optimal Reduction -- 3. The Full Algorithm -- 4. Optimal Reductions and Linear Logic -- 5. Redex Families and Optimality -- 6. Paths -- 7. Read-back -- 8. Other Translations in Sharing Graphs -- 9. Safe Nodes -- 10. Complexity -- 11. Functional Programming -- 12. The Bologna Optimal Higher-order Machine.
Other author Guerrini, Stefano, 1965-
Subject Functional programming languages.
ISBN 05216211276 hb