Homework
We'll have five homeworks this semester, including one short warmup homework to make sure we all have the tools working.
These homeworks will ask you to do things that we haven't covered during lecture. Be sure to start early and ask questions on Ed or at office hours if you're stumped—the homework is intended to teach you new things, not to trip you up or quiz you on the details of lectures.
Homeworks are submitted via GitHub Classroom—follow the instructions in each homework.
- Homework 0: Warmup
Due January 30, 6pm - Homework 1: Denotational Semantics and Rosette
Due February 15, 6pm - Homework 2: IMP and Operational Semantics
Due March 7, 6pm - Homework 3: Dafny and Lambda Calculus
Due April 4, 6pm - Homework 4: Rust and Type Inference
Due April 25, 6pm