Schedule
Date |
Lecture |
Notes |
Code |
| 1 May | Introduction, Basic SML, Functions, Recursion | code | |
| 6 May | Functions, Tuples, Patterns, Lists | code | |
| 8 May | Concrete data types, induction | induction | |
| 13 May | Recursive data types, Higher-Order functions | code | |
| 15 May | Higher-Order functions, Continuations, References | notes | |
| 20 May | More SL functions | code | |
| 22 May | Formal syntax, Operational Semantics | notes | |
| 27 May | Operational Semantics, Types | notes | |
| 29 May | Types | notes1 , notes2 | |
| 3 June | Types and Polymorphism, Review | ||
| 5 June | Midterm | ||
| 10 June | Midterm Discussion, The Environment Model | notes, notes midterm | |
| 12 June | Modules, Quiz(ref) | code | |
| 17 June | Lazy Programming | ||
| 19 June | Lambda Calculus, Quiz(ref) | ||
| 24 June | Java, Subtyping | notes notes | |
| 26 June | REVIEW | ||