[–] jcr 10y 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 10y ago ↗ Thanks for the discussion link.
2 comments
[ 3.1 ms ] story [ 13.5 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