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. ClearerRead full review

www.amazon.com