3 ms·
Good list, I'd also recommend http://www.cs.cmu.edu/~rwh/plbook/book.pdf http://www.cs.cmu.edu/~rwh/plbook/book.pdf for something designed for newcomers to the
by dons 12y ago
Good list, I'd also recommend http://www.cs.cmu.edu/~rwh/plbook/book.pdf http://www.cs.cmu.edu/~rwh/plbook/book.pdf for something designed for newcomers to the field
- jonsterling 12y agoYeah, that's a great book for learning how the methodology of type theory and judgemental presentations can be used in presenting practical/everyday PL concepts. Incidentally, I spoke with bob and he mentioned he wants to write another book some day that does the same thing, but for "pure" type theory. I think that'd be a great book, particularly given bob's unique perspective on type theory (having spent a lot of time on both sides of the fence—proof theory vs realizability). but don't count on it anytime soon!
- psygnisfive 12y agoI'll start added recommendations to the link, so keep 'em coming.
- Alex25 12y agoThanks a lot! Useful!