CMSC389X
Special Topics in Computer Science; Advanced Type Systems
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.
Sister Courses: CMSC389A, CMSC389B, CMSC389C, CMSC389E, CMSC389F, CMSC389G, CMSC389I, CMSC389J, CMSC389K, CMSC389L, CMSC389M, CMSC389N, CMSC389O, CMSC389P, CMSC389Q, CMSC389R, CMSC389T, CMSC389U, CMSC389V, CMSC389W, CMSC389Y, CMSC389Z
Spring 2026
7 reviews
Average rating:
4.86