From 20e6bcfc126a062f60f4b1b5ddd38a4f11236a09 Mon Sep 17 00:00:00 2001 From: Mariano Date: Fri, 21 Aug 2015 00:24:59 -0300 Subject: [PATCH] Update Harper's book link --- specific_topics.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/specific_topics.md b/specific_topics.md index 764fa11..4b85aeb 100644 --- a/specific_topics.md +++ b/specific_topics.md @@ -425,7 +425,7 @@ If you want to follow up on type and category theory: - [Awodey](http://ukcatalogue.oup.com/product/9780199237180.do) and [MacLane](http://www.amazon.com/Categories-Working-Mathematician-Graduate-Mathematics/dp/0387984038). The standard textbooks on category theory. -- [Harper's Practical Foundations for Programming Languages](http://www.cs.cmu.edu/~rwh/plbook/book.pdf) is the best PL focused intro to type theory I've read. +- [Harper's Practical Foundations for Programming Languages](http://www.cs.cmu.edu/~rwh/plbook/1sted-revised.pdf) is the best PL focused intro to type theory I've read. - [Type theory and Functional Programming](http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/).