CS 152: Programming Languages

LaTeX: If you are interested in typesetting your assignments using LaTeX, there are many tutorials and introductions. For your convenience, here is a zip file containing the LaTeX source for one of the lectures, and some packages with useful PL definitions.

HomeworkAssignedDue
0 Info
Please fill in this form.
28 Jan4 Feb
1 Induction and small step semantics
You can download the assignment from Canvas:
4 Feb16 Feb
2 IMP; Denotational semantics; Lambda calc basics
You can download the assignment from Canvas:
16 Feb1 Mar
3 Lambda calculus; definitional translation; references; continuations
You can download the assignment from Canvas:
1 Mar22 Mar
4 Types
You can download the assignment from Canvas:
22 Mar5 Apr
5 Monads and Datalog
You can download the assignment from Canvas:
5 Apr19 Apr
6 Concurrency
You can download the assignment from Canvas:
19 Apr26 April