Links

Courses at McGill

McGill offers a wide variety of undergraduate and graduate courses on foundations of programming languages, type systems, logic, and theorem proving. (NB: Links to course websites, if available, may point to websites for previous terms' incarnations of the courses.)