Functional Programming

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A New Method for Strictness Analysis on Non-Flat Domains
3. Altmetric Badge
   Chapter 2 Backwards Strictness Analysis: Proved and Improved
4. Altmetric Badge
   Chapter 3 Abstract Interpretation of Polymorphic Functions
5. Altmetric Badge
   Chapter 4 An Iterative Powerdomain Construction
6. Altmetric Badge
   Chapter 5 Complexity Analysis for a Lazy Higher-Order Language
7. Altmetric Badge
   Chapter 6 Deriving the fast Fourier algorithm by calculation
8. Altmetric Badge
   Chapter 7 Chemical Reaction as a Computational Model
9. Altmetric Badge
   Chapter 8 Sketching a Constructive Definition of ‘mix’
10. Altmetric Badge
    Chapter 9 Transformation in a Non-Strict Language: An Approach to Instantiation
11. Altmetric Badge
    Chapter 10 Referentially Transparent Database Languages
12. Altmetric Badge
    Chapter 11 Imperative Effects from a Pure Functional Language
13. Altmetric Badge
    Chapter 12 Designing Data Structures
14. Altmetric Badge
    Chapter 13 Describing Butterfly Networks in Ruby
15. Altmetric Badge
    Chapter 14 Implementation of a Non-Standard Interpretation System
16. Altmetric Badge
    Chapter 15 Simulating Multiprocessor Architectures for Compiled Graph-Reduction
17. Altmetric Badge
    Chapter 16 Dependent Sums Express Separation of Binding Times
18. Altmetric Badge
    Chapter 17 Type inference and type classes
19. Altmetric Badge
    Chapter 18 Implementing Haskell Type Classes
20. Altmetric Badge
    Chapter 19 Implementing Functional Languages on the Transputer
21. Altmetric Badge
    Chapter 20 Hope + on Flagship
22. Altmetric Badge
    Chapter 21 Expressing and Reasoning About Non-deterministic Functional Programs
23. Altmetric Badge
    Chapter 22 Evaluation Annotations for Hope +
24. Altmetric Badge
    Chapter 23 Some Ideas On Parallel Functional Programming
25. Altmetric Badge
    Chapter 24 Parsing Using Combinators
26. Altmetric Badge
    Chapter 25 Gerald: An Exceptional Lazy Functional Programming Language
27. Altmetric Badge
    Chapter 26 Geometrization for Interactive Software Development