1 Announcements and Changes
1.1 Announcements
Feb 25, 2020: 14:37 – Added Lecture 10 notes.
Feb 14, 2020 15:56 – Added code for closure conversion share/lecture9-closure-conversion-code.rkt
Feb 12, 2020 19:41 – Added code for CPS share/lecture9-cps-code.rkt
Feb 12, 2020 10:50 – Moved CPS up in the calendar
Feb. 10, 2020 11:01 – Remove logical relations from calendar; replace by linking and assembly, which actually happened.
Feb. 5, 2020 21:57 – Added Lecture 5 notes (part 1 of proof by induction).
Feb. 3, 2020 21:40 – Added homework two, due Feb 24, 2020 23:59 by email.
Feb. 3, 2020 21:21 – Added live code from Lecture 6. share/lecture6-live-code.rkt.
Jan. 29, 2020 22:28 – Added homework one complete on-paper solution share/hw1-solution-on-paper.pdf.
Jan. 29, 2020 20:33 – Added Lecture 4 notes.
Jan. 29, 2020 19:35 – Added homework one solution for written proofs share/hw1-solution.pdf.
Jan. 29, 2020 15:55 – Added calendar.
Jan. 28, 2020 22:39 – Added homework one solution share/hw1-solution.rkt.
Jan. 14, 2020 20:41 – Added homework one, due Jan. 24, 2020 23:59 by email.
Jan. 14, 2020 20:41 – Added lectures notes for Lecture 3. These include important additional material that was not in the lectures.
Jan. 14, 2020 13:59 – Uploaded code from Lecture 3. share/lecture3-live-code.rkt
Jan. 12, 2020 17:11 – Updated Lecture 2 notes with on-paper notation version of final proof.
Jan. 11, 2020 19:20 – Added lecture notes for Lecture 2.
Jan. 8, 2020 17:03 – Uploaded code from Lecture 2. share/lecture2-live-code.rkt
Jan. 7, 2020 18:11 – There will be no class nor office hours Jan 20–Jan 24 as I will be attending a POPL.
Jan. 6, 2020 22:24 – Added lecture notes for Lecture 1.
1.2 Changes
Jan. 7, 2020 18:11 – Changed Tuesday office hours to Thursday.
Jan. 7, 2020 19:46 – Finished notes for Lecture 1: More details about judgments, in derivations Lecture 1 notes. Finished modeling a language’s collection of expressions.