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

Leonidas Lampropoulos

0 reviews
Average rating: N/A

Include P/F semesters During the Spring 2020 and Spring 2021 semesters, students could choose to take some of their courses pass-fail mid-semester which skews grade data aggregated across multiple semesters.

No grade data available.