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 Jan5 Feb
1 Semantics and Proof
You can download the assignment from iSites:
5 Feb12 Feb
2 IMP and Denotational Semantics
You can download the assignment from iSites:
12 Feb19 Feb
3 Lambda Calculus
You can download the assignment from iSites:
19 Feb26 Feb
4 Translations, References, and Continuations
You can download the assignment from iSites:
26 Feb10 Mar
5 Type Inference (Implementation)
You can download the assignment from iSites:
10 Mar26 Mar
6 Subtyping, and Curry-Howard Isomorphism
You can download the assignment from iSites:
26 Mar2 Apr
7 Monads (Implementation)
You can download the assignment from iSites:
2 Apr9 Apr
8 Concurrency (Implementation)
You can download the assignment from iSites:
9 Apr21 Apr
9 Logic Programming and CFA (Implementation)
You can download the assignment from iSites:
23 Apr30 Apr