CISC 865: Semantics of Programming Languages

Syllabus (TENTATIVE)

Grading scheme

Assignments will involve some combination of mathematics (including proofs in a particular form) and programming (probably in the language Racket). After the first assignment (to be done individually), you may work individually or in groups of two or (maybe) three.

Assignments must be typeset in LaTeX, even though it is a horrific language. If you have had the good fortune to avoid LaTeX in the past, I will provide resources to help you learn enough of it to manage.