9.1
CMSC 433: Programming Language Technologies and Paradigms
Summer, 2026
Professor: Anwar Mamat
Lecture: M/W/F 9:00am-10:10am
Office Hours:
Wed 1:00-2:00pm, Schedule your appointment here
Assumptions: This course assumes you know the material in CMSC 330 and CMSC 250. In particular, you need to know how to program in a functional programming language like OCaml and familiarity with logic and proofs. See the Texts page for references to brush up on this material.
Disclaimer: All information on this web page is tentative and subject to change. Any substantive change will be accompanied with an announcement to the class via ELMS.
Feedback: We welcome anonymous feedback on the course and its staff using this form.