Mondays and Wednesdays, 3:30 - 5:00
Towne 315


Benjamin C. Pierce
bcpierce_NOSPAM AT cis.upenn.edu
Office hours: by appointment

Course Infrastructure

Ed Discussion
We will use Ed for both announcements and discussions. Please register yourself there (if needed) to make sure you keep up with what's happening.
Incremental reveal of solutions to all exercises.
The Canvas site is active, but we won't use it much.

Tentative Class Schedule

NOTE: The following links provide HTML and Coq .v files for the lecture material in the course. These materials will be updated throughout the semester, so please be sure that you grab the most recent version of the files periodically.

Full Source Code You can download the whole SLF book here. This is a good way to create the initial folder for the SLF book, but please be sure to get the latest .v files for each homework assignment.