CMSC388R

Special Topics in Computer Science; Types and Programming Languages

Reviews for this course Testudo

Minimum grade of C- in CMSC330. Students are provided with an introduction to type systems and the basic theory of programming languages. Part I of the course will focus on the Simply Typed Lambda Calculus (STLC), and then extend that language with features such as algebraic data types (ADTs), references, and exceptions. For each extension, we will revise a proof of type safety. Part II of the course will focus on "fancy" type extensions to the STLC including parametric polymorphism, recursive types, and subtyping.

Sister Courses: CMSC388A, CMSC388B, CMSC388D, CMSC388E, CMSC388F, CMSC388G, CMSC388I, CMSC388J, CMSC388L, CMSC388M, CMSC388Q, CMSC388T, CMSC388U, CMSC388V, CMSC388W, CMSC388X, CMSC388Y, CMSC388Z

Past Semesters

Ian Sweet

0 reviews
Average rating: N/A

* "W"s are considered to be 0.0 quality points. "Other" grades are not factored into GPA calculation. Grade data not guaranteed to be correct.