| Tuesday, January 13, | Course introduction
Administrativia, expectations, and why study programming languages. |
| Thursday, January 15, | Imperative core, abstract syntax, environments |
| Tuesday, January 20, | Inference rules, evaluation
read Kamin and Ramsey, Chapter 2, pages 5-52. Assignment 1: 2.8, 2.9, 2.11, 2.16, 2.19 |
| Thursday, January 22, | Scheme |
| Tuesday, January 27, | Scheme
read Kamin and Ramsey, Chapter 3, pages 53-89. Assignment 2: 2.13, 2.1, 3.4 |
| Thursday, January 29, | Scheme |
| Tuesday, Feb 3, | Scheme
read Kamin and Ramsey, Chapter 3, pages 90-144. Assignment 3: 3.1, 3.5, 3.15, 3.29 |
| Thursday, Feb 5, | Scheme |
| Tuesday, Feb 10, | Scheme
Assignment 4: 3.26, 3.35, 3.32 |
| Thursday, Feb 12, | Scheme |
| Tuesday, Feb 17, | The Real-time specification for Java |
| Thursday, Feb 19, | Automatic memory management read Kamin and Ramsey, Chapter 4, pages 145-160. |
| Tuesday, Feb 24, | Automatic memory management read Kamin and Ramsey, Chapter 4, pages 161-178. Assignment 5: 4.1, 4.2, 4.3 |
| Thursday, Feb 26, | ML introduction read Kamin and Ramsey, Chapter 5, pages 185-196. |
| Tuesday, March 2, | Aspect-oriented programming with AspectJ |
| Thursday, March 4, | Type systems read Kamin and Ramsey, Chapter 6, pages 197-248. |
| Tuesday, March 9, | ML Type rules read Kamin and Ramsey, Chapter 7, pages 249-282 |
| Thursday, March 11, | Evening Midterm: 4:30 - 5:45 (usual room) |
| Tuesday, March 16, | Spring break. |
| Thursday, March 18, | Spring break. |
| Tuesday, March 23, | midterm solutions |
| Thursday, March 25, | Transactions in Programming Languages |
| Tuesday, March 30, | Type Inference read Kamin and Ramsey, Chapter 8, pages 287-312. |
| Thursday, April 1, | No class. |
| Tuesday, April 6, | Object Oriented Programming: Java Assignment 7: 6.12 |
| Thursday, April 8, | Object Oriented Programming: Java |
| Tuesday, April 13, | Smalltalk Kamin and Ramsey, Chapter 9, pages 331-355. Assignment 8: 9.36 |
| Thursday, April 15, | Smalltalk read Kamin and Ramsey, Chapter 9, pages 368-422. |
| Tuesday, April 20, | Smalltalk
|
| Thursday, April 22, | Smalltalk |
| Tuesday, April 27, | Q&A |
| Thursday, April 29, | no class |