COMP 524

3 credits

Theoretical Foundations of Programming Languages

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.

Offered by: Computer Science

- Terms
- This course is not scheduled for the 2014-2015 academic year.

- Instructors
- There are no professors associated with this course for the 2014-2015 academic year.