Prerequisite: C- or better in CMSC250 and CMSC330. Familiarity with functional programing and lambda calculus is particularly important. If you have any questions about prerequisites, please contact the instructor.; and permission of CMNS-Computer Science department.

Ever wonder what the deal about type systems is all about? Why are they helpful, and why should you care about them? In this course, we will survey the field of type theory, and explore the multitude of topics within. This course will focus on providing a high level survey, with anemphasis on intuitive understanding rather than technical details.