CSCI 5535 / ECEN 3355 -- Fundamentals of Programming Languages
Schedule of Lectures
| Date | Topic | PFPL Chapters | Homework | |||
|---|---|---|---|---|---|---|
| Aug | 23 | Tue | Inductive Definitions | 1-3 | HW 0 Out | |
| 25 | Thu | Rule Induction | 1-3 | |||
| 30 | Tue | Statics and Dynamics | 4-5 | |||
| Sep | 1 | Thu | Review: Inductive Proofs | N/A | HW 0 Due | |
| 6 | Tue | Type Safety | 4, 5, 6 | HW 1 Out | ||
| 8 | Thu | Type Safety Proofs | 6 | |||
| 13 | Tue | Function Definitions and Values | 8 (PDF on Moodle) | |||
| 15 | Thu | Review: Type-Safety Proofs | - | HW 1 Due | ||
| 20 | Tue | System T | 9 | |||
| 22 | Thu | Finite Data Types | 10, 11 | Install OCaml | ||
| 27 | Tue | OCaml: Basics | ocaml0.ml | - | ||
| 29 | Thu | OCaml: Continued | ocaml1_Lang_E.ml | HW 2 Out | ||
| Oct | 4 | Tue | No Lecture | - | Watch Philip Wadler: Propositions as Types | |
| 6 | Thu | No Lecture | - | Read Philip Wadler: Propositions as Types (CACM 2015) | ||
| 11 | Tue | Review: Propositions as Types;Homework Q and A | - | |||
| 13 | Thu | Review: Homework Q and A | ocaml2.ml | HW 2 Due; HW 3 Out | ||
| 18 | Tue | Generic Lists and Trees in OCaml | 14, 15; ocaml3.ml | |||
| 20 | Thu | Generic Programming | 14, 15 | |||
| 25 | Tue | Inductive and Coinductive Types | 15 | |||
| 27 | Thu | Homework Q & A | ocaml6.ml | |||
| Nov | 1 | Tue | No Lecture | - | Watch Evan Czapliki explain Elm; Try Elm. HW 3 Due | |
| 3 | Thu | No Lecture | - | Read Elm Paper (PLDI 2013) | ||
| 8 | Tue | Modernized Algol | 34 | |||
| 10 | Thu | Assignable References | 35 | HW 4 Out | ||
| 15 | Tue | Assignable References (Part 2) | Start (ocaml7.ml) | |||
| 17 | Thu | Assignable References (Part 3) | Finish (ocaml8.ml) Cyclic lists (ocaml9.ml) | |||
| 22 | Tue | No Class: Fall Break | - | |||
| 25 | Thu | No Class: Fall Break | - | |||
| 29 | Tue | Evaluation Contexts and Continuations | 28 ocaml9.ml | |||
| Dec | 1 | Thu | HW 4 Questions; Review for Exam | - | HW 4 Due; (Take-Home) Final Exam Out | |
| 6 | Tue | Project Presentations | - | (Take-Home) Final Exam Due | ||
| 8 | Thu | Project Presentations | - | Project Reports Due | ||
|
This schedule is "in progresss". For a complete but approximate view of what is to come, see the schedule for 15-312, Spring 2016. It gives an approximation of the topics, chapters and homeworks to come. |
||||||