My Library

University LibraryCatalogue

For faster,
simpler
access.
Use Lean
Library.
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
PRINTED BOOKS
Author Asperti, Andrea.

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

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

Copies

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