Wiki
Clone wikiinf225 / 2013 / Recommended Books
Although you can find everything you need for the course online, you may also be interested in having a book or two to study on your own.
You might be able to borrow these books from Anya, if you're interested
General Books
-
Michael L. Scott, Programming Language Pragmatics, 3rd ed. Morgan-Kaufmann, 2009. ISBN 978-0-12-374514-9.
Highly Recommended! (Also by current and former students.) Gives a great overview of programming languages, parsing, analysis, compilation, typing, optimisation and such. Covers many of the things we'll talk about in the course, and many other things as well.
Classic Compiler Books
-
Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman, Compilers: Principles, Techniques, and Tools, 2nd ed. Addison Wesley, 2006. ISBN 978-0-32-148681-3
The classic ‘dragon book’.
-
Kenneth C. Louden, Compiler Construction – Principles and Practice, Cengage Learning 1997. ISBN 978-0-53-493972-4
-
Andrew W. Appel, Modern Compiler Implementation in ML (also available in C and Java versions), Cambridge University Press, 2004. ISBN 978-0-52-160764-3.
Type Theory
-
Benjamin C. Pierce, Types and Programming Languages, The MIT Press, 2002. ISBN 978-0-26-2162098.
The ultimate book on types; mostly too advanced for INF225, though.
Other Stuff
Updated