Date | Topic | Comments |
1/8 | Introduction | |
1/10 | ASM (ch. 2) | |
1/15 | ASM (ch. 2) | |
1/17 | Calc: A small language | |
1/22 | Formalization of Calc in ASM | |
1/24 | Type safety of Calc | |
1/29 | Type safety of Calc | Type safety proof due |
1/31 | Ch. 3 | |
2/5 | Ch. 3 | |
2/7 | Ch. 4-5 | |
2/12 | Ch. 4-5 | |
2/14 | Type Safety Proof | Venkatesh Choppella |
2/19 | Type Safety Proof | Venkatesh Choppella |
2/21 | Haskell I | Ryan Newton and Felix Terkhorn |
2/26 | Haskell II | Ryan Newton and Felix Terkhorn |
2/28 | Haskell III | Ryan Newton and Felix Terkhorn |
3/5 | Ch. 8 | |
3/7 | Ch. 8 | Assignment 2 due |
3/12 | --------------- | Spring break |
3/14 | --------------- | Spring break |
3/19 | Introduction to the JVM and bytecode language | Project progress review |
3/21 | Ch. 9.1, 10.1 | |
3/26 | Ch. 10.1, 11.1 | |
3/28 | Ch. 15 | |
4/2 | Ch. 15 | |
4/4 | Ch. 16 | Assignment 3 due |
4/9 | Ch. 16 | |
4/11 | Ch. 17 | |
4/16 | Ch. 17 | |
4/18 | Ch. 18 | |
4/23 | Ch. 18 | |
4/25 | Conclusion | |
4/30 | Projects due |