Courses Heading link Copy link 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