Courses Heading link Copy link Spring 2024: CS 472, Provably Correct Programming Fall 2023: CS 476, Programming Language Design Spring 2023: CS 474, Object-Oriented Languages Fall 2022: CS 476, Programming Language Design Spring 2022: CS 494, Provably Correct Programming Fall 2021: CS 476, Programming Language Design Spring 2021: CS 473, Compiler Design Spring 2020: CS 473, Compiler Design Fall 2019: CS 476, Programming Language Design Spring 2019: CS 494 SF, Software Foundations Fall 2018: CS 476, Programming Language Design