Hacker News new | ask | show | jobs
by ebingdom 1708 days ago
The standard reference, if there is one, is Benjamin Pierce's "Types and Programming Languages" book.