CS 611: Lecture NotesCS 611: Lecture Notes
Day |
Date |
Scribe |
Lecture Title |
Postscript File |
Latex File |
| Fri | 8/29 | NA | Course Overview |
NA | |
| Mon | 9/1 | Dan Grossman | Introduction to IMP and Operational Semantics |
lec1.tex | |
| Wed | 9/3 | Yin Zhang | Operational Semantics of IMP (Cont'd) |
lec2.tex | |
| Fri | 9/5 | Kiri Wagstaff | Introduction to SML |
lec3.tex | |
| Mon | 9/8 | Sumedh Kanetkar | Large Step vs. Small Step Sematics |
lec4.doc | |
| Wed | 9/10 | Kyle Rose | Polymorphism and the Module System of SML |
lec5.tex | |
| Fri | 9/12 | MISSED | (title) |
(file) |
(file) |
| Mon | 9/15 | Suman Ganguli | Denotational Semantics |
lec7.tex | |
| Wed | 9/17 | Frank McSherry | Monotonicity, Continuous Functions and CPOs |
lec8.tex | |
| Fri | 9/19 | Yevgeniy Rozenfeld | An Alternative Denotational Semantics for IMP and Intro. to Axiomatic Semantics |
lec9.tex | |
| Mon | 9/22 | Nathaniel Miller | Homework 1 Revisited and Axiomatic Semantics of IMP |
lec10.tex | |
| Wed | 9/24 | Adam Florence | Axiomatic Semantics |
lec11.tex infrule.tex | |
| Fri | 9/26 | James Ezick | Introduction to the Hoare Rules |
lec12.tex | |
| Mon | 9/29 | Martin Handwerker | Weakest Preconditions, PCC, and Introduction to the Lambda Calculus |
lec13.tex | |
| Wed | 10/1 | Dan Grossman | No Lecture |
NA |
NA |
| Fri | 10/3 | Anurag Mittal | The Science of Programming |
None | |
| Mon | 10/6 | Andrew Pershing | The Science of Programming II |
lec16.tex | |
| Wed | 10/8 | Aleksey Nogin | The Science of Programming III |
lec17.tex | |
| Fri | 10/10 | Zhiyuan Chen | Introduction to the Simply-Typed Lambda Calculus |
lec18.tex | |
| Mon | 10/13 | FALL BREAK | NA | NA | NA |
| Wed | 10/15 | Adam Florence | Type Safety |
lec19.tex | |
| Fri | 10/17 | Snorri Gylfason | More on the Simply-typed Lambda Calculus |
lec20.tex | |
| Mon | 10/20 | Yu-Chung Ng | Termination and Equivalence of Lambda Expressions |
lec21.tex | |
| Wed | 10/22 | Yu Zhang | The Type Frame Model |
lec22.tex | |
| Fri | 10/24 | Javier Pena | Equational Proof System |
lec23.tex | |
| Mon | 10/27 | Frank McSherry | The Term Model |
lec24.tex | |
| Wed | 10/29 | Andrew Pershing | Normal Forms the Lambda Calculus |
lec25.tex diamonds.tex | |
| Fri | 10/31 | (IN CLASS EXAM) | NA |
NA |
NA |
| Mon | 11/3 | Yin Zhang | Additions to the Lambda Calculus |
lec26.tex | |
| Wed | 11/5 | Kiri Wagstaff | Midterm Review and Fix |
lec27.tex | |
| Fri | 11/7 | Snorri Gylfason | Denotational Semantics for PCF |
lec28.tex | |
| Mon | 11/10 | G. Morrisett | Adequacy of the Denotational Semantics for PCF |
lec29.tex | |
| Wed | 11/12 | Zhiyuan Chan | PCF Continuted |
lec30.tex | |
| Fri | 11/14 | Suman Ganguli | Exceptions |
lec31.tex | |
| Mon | 11/17 | Yu-chung Ng | Continuations |
lec32.tex | |
| Wed | 11/19 | G. Morrisett and Yevgeniy Rozenfeld | CPS Translation |
lec33.tex lec332.tex | |
| Fri | 11/21 | Nathaniel Miller | Polymorphism |
lec34.tex | |
| Mon | 11/24 | Jim Ezick | Type Inference |
lec35.tex | |
| Wed | 11/26 | THANKSGIVING | NA | NA | (file) |
| Fri | 11/28 | THANKSGIVING | NA | NA | (file) |
| Mon | 12/1 | Yu Zhang | Polymorphism Continued |
lec36.tex | |
| Wed | 12/3 | Martin Handwerker | (title) |
(file) |
(file) |
| Fri | 12/5 | Anurag Mittal | (title) |
(file) |
(file) |