Haskell
Table of Contents
1. References
- Ben Lynn's notes on Haskell compiler
- John Hughes,
THE DESIGN AND IMPLEMENTATION OF PROGRAMMING LANGUAGES
1.1. Type Checking
- Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers, Martin Sulzmann,
"OutsideIn(X): Modular type inference with local assumptions".
Journal of Functional Programming 21 (2011) pp. 333–412 Eprint