[–] jcr 11y ago ↗ His book, "Software Foundations" is here:http://www.cis.upenn.edu/~bcpierce/sf/And there's a discussion about the book from a year ago:https://news.ycombinator.com/item?id=7824793 [–] mlitchard 11y ago ↗ Thanks for the discussion link.
2 comments
[ 14.4 ms ] story [ 79.3 ms ] threadhttp://www.cis.upenn.edu/~bcpierce/sf/
And there's a discussion about the book from a year ago:
https://news.ycombinator.com/item?id=7824793