Types and Programming Languages (Mit Press)
Rating: 1,845 reviews from 1 sources
Reviews
Selected Review of 1845 Reviews
The best book on types theory, by far. Not complete (there is an advanced volume by the same author), but already very far going. Clearer … Read full review
www.amazon.com