Warning: This schedule is tentative and may change as the course progresses
Links to lecture slides and handouts will be added as they become available.
8/29 Course intro, introductory SML [full-screen] [printer-friendly] 8/31 Running SML/NJ, Advanced Core SML [full-screen] [printer-friendly] 9/5 Examples, Examples, Examples [full-screen] [printer-friendly] 9/7 Concrete and Abstract Syntax [full-screen] [printer-friendly] 9/12 Static and Dynamic Semantics [full-screen] [printer-friendly] 9/14 Type Safety [NQSML Definition] 9/19 Type Safety Continued 9/21 Environments and scope [full-screen] [printer-friendly] 9/26 Exceptions [full-screen] [printer-friendly] 9/28 Assignment and References [full-screen] [printer-friendly] 10/3 Semantics of Assignment [full-screen] [printer-friendly] 10/5 Continuations [Code Handout] 10/10 Continuations and Coroutines [Code Handout] 10/12 Video: "Growing a Language" [Transcript] 10/17 FALL BREAK 10/19 Modularity [full-screen] [slides handout] 10/24 Functors [full-screen] [slides handout] 10/26 Parametric polymorphism [full-screen] [slides handout] 10/31 Type inference [full-screen] [slides handout] 11/2 Subtyping and subsumption [full-screen] [slides handout] 11/7 CANCELLED 11/9 Untyped lambda calculus [full-screen] [slides handout] 11/14 Lambda calculus properties [full-screen] [slides handout] 11/16 Combinatory Logic [full-screen] [slides handout] 11/21 Typed lambda calculus and logic [full-screen] [slides handout] 11/23 THANKSGIVING BREAK 11/28 Garbage Collection 11/30 Denotational Semantics [full-screen] [slides handout] 12/5 Partial Evaluation and RTCG [full-screen] [slides handout] 12/7 Course evaluations and review [Review sheet] 12/13 FINAL: 1-4pm, GA Edwards