The optimal implementation of functional programming languages
Andrea Asperti, Stefano Guerrini · Medical Entomology and Zoology · 1998
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.