Coordinates
- Mondays and Wednesdays, 3:30 - 5:00
- Towne 315
Staff
- Instructor
-
Benjamin C. Pierce
bcpierce AT cis.upenn.edu
Office hours: by appointment - 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.
- Solutions
- Incremental reveal of solutions to all exercises.
- Canvas
- The Canvas site is active, but we won't use it much.
Course Infrastructure
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.