Hacker News new | ask | show | jobs
by dreamer7 1716 days ago
Could you point to any good resources on this topic?
1 comments
ebingdom 1716 days ago
The standard reference, if there is one, is Benjamin Pierce's "Types and Programming Languages" book.
link