Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
You are here: Home Academic Courses Course Profile

COMP- 524: THEORETICAL FOUNDATIONS OF PROGRAMMING LANGUAGES

Course Summary

Computer Science (Sci): Operational and denotational semantics of programming languages. Equivalence theorems for first-order languages. Lambda calculus. Type-inference, typed lambda calculus. Polymorphism. Elements of domain theory and fixed-point induction.

This course is not scheduled for the 2007-2008 academic year.


McGill Course Description (Click Here)