CS 6520 Schedule

The schedule is tentative, and the course notes are updated frequently

DateTopicExtra NotesHomework
Jan 3Sets, relations, and languages Course notes: exercises 1.x
Jan 8Structural induction, diamond property Course notes: exercises 2.1-2.5
Lambda calculus
Jan 10Lambda calculusGordonCourse notes: exercises 4.1-4.5, 4.9-4.10
Jan 15RecursionThe Why of Y from The Little SchemerCourse notes: exercises 4.11-4.14
Jan 17Class cancelled  
Jan 22ISWIM Course notes: exercises 5.1, 5.6
Jan 24Standard reduction Course notes: exercises 4.15, 5.2, 6.1-6.2
Machines, and modelling realistic languages
Jan 29CC Course notes: exercises 7.1
Jan 31SCC, CK, CEKTeach Yourself SchemeHW8 (due Mar 5)
Feb 5Olympic Break  
Feb 7Olympic Break  
Feb 12Olympic Break  
Feb 14Olympic Break  
Feb 19Olympic Break  
Feb 21Olympic Break  
Feb 26Olympic Break  
Feb 28SECD, tail recusion, continuations Course notes: exercises 8.1, 8.2, 8.5
Mar 5Errors and exceptions Course notes: exercises 9.1, 9.5, 9.6, 9.9
Mar 7State, garbage collection, CEKS Course notes: exercises 10.1, 10.2
Mar 12Review and summary Mid-term (due Mar 19)
Mar 14Typed Arithmetic Course notes: exercises 11.1, 11.6
Mar 19Simply Typed ISWIM Course notes: exercises 12.1
Mar 21More typed lambda calculi Course notes: exercises 13.2-13.4
Mar 26Polymorphism and MLOCaml manual, demo transcriptHW15 (Due Apr 9)
Mar 28Type inference Course notes: exercises 15.1, 15.2
Apr 2Recursive and existential types Course notes: exercises 16.3
Apr 4No lecture No homework
Object-oriented languages
Apr 9Subtyping Course notes: exercises 18.1
Apr 11MiniJava Course notes: exercises 19.1, 19.3
Denotational semantics
Apr 16Continuation-passing stylenotesLecture notes: exercise 3.1
Apr 18Denotational semanticsnotesLecture notes: exercise 4
Apr 23Domain theorynotesLecture notes: exercises 6.x
Apr 25Class cancelled No homework
Apr 30Full abstraction, recursive domain equations No homework
May 2Review and summary  

Last update: Tuesday, April 30th, 2002