Wiki

Clone wiki

inf225public / 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

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