CS 6520 Schedule

Course notes, extended with every lecture

DateTopicExtra NotesHomework
Jan 9Sets, relations, and languages Course notes: exercises 1.x
Jan 11Structural induction, diamond property Course notes: exercises 2.x
Lambda calculus
Jan 16Lambda calculusGordonCourse notes: exercises 4.1-4.5
Jan 18RecursionThe Why of Y from The Little SchemerCourse notes: exercises 4.10-4.14
Jan 23ISWIM Course notes: exercises 4.15
Jan 25Standard reduction Course notes: exercises 5.1-5.2, 5.6, 6.1-6.2
Machines, and modelling realistic languages
Jan 30CC Course notes: exercises 7.1
Feb 1SCC, CK, CEKTeach Yourself SchemeHW8
Feb 6SECD, tail recusion, continuations Course notes: exercises 8.1, 8.2, 8.5
Feb 8Errors and exceptions Course notes: exercises 9.1, 9.5, 9.8
Feb 13State, garbage collection, CEKS HW11 (Due Feb 20)
Feb 15Local reasoning for state and continuations Mid-term (due Feb 22)
Feb 20Typed Arithmetic Course notes: exercises 11.1, 11.3
Feb 22Simply Typed ISWIM Course notes: exercises 12.1, 12.2
Feb 27More typed lambda calculi Course notes: exercises 13.2-13.4
Mar 1Polymorphism and MLOCaml manual, demo transcriptHW15 (Due Mar 8)
Mar 6Type inference Course notes: exercises 15.1, 15.2
Mar 8Recursive types Course notes: exercises 16.3
Mar 13Spring Break  
Mar 15Spring Break  
Mar 20Existential types No homework
Object-oriented languages
Mar 22ObjectsAbadi and Cardelli, Sections 1 and 2HW18
Mar 27Typed objectsAbadi and Cardelli, Sections 3 and 4HW19
Mar 29Subtyping and ClassesAbadi and Cardelli, Section 4 
Apr 3MiniJava Course notes: exercises 18.1, 18.3
Apr 5MiniJava Soundness Course notes: exercises 18.5
Denotational semantics
Apr 10Denotational semanticsnotesHW22
Apr 12Domain theorynotesHW23
Apr 17Full abstraction, recursive domain equations  
Axiomatic semantics
Apr 19Axiomatic semanticsGordon, Chapters 1-3Gordon Ex. 18 (page 34)
Final review

Last update: Thursday, April 19th, 2001