Книга по языку Haskell.Краткое содержание:
1. Introduction
2. Attribute Grammar (AG) system tutorial
3. EH 1: Typed lambda -calculus
4. EH 2: Monomorphic type inferencing
5. EH 3: Polymorphic type inferencing
6. EH 4: Local quantifier propagation
7. EH 4: Global quantifier propagation
8. EH 4: Existential types
9. Making implicit parameters explicit
10. Partial type signatures
11. Ruler: programming type rules
12. Conclusion and future work
References
A. Notation
B. Rules generated by Ruler
C. Used libraries
Index
