|
| Tue Jan 18th | Getting started | pdf 4up.pdf |
| Thu Jan 21st | Programming concepts | pdf 4up.pdf |
| Tue Jan 25th | Programming language syntax | pdf 4up.pdf |
| Tue Jan 27th | Programming language semantics | pdf 4up.pdf |
| Tue Feb 1st | Programming language semantics continued, procedure calls | |
| Thu Feb 3rd | GC, Exceptions | pdf 4up.pdf |
| Tue Feb 8th | Programming in declarative model | pdf 4up.pdf (updated on Feb-15) |
| Thu Feb 10th | Language support for declarative concurrency | pdf 4up.pdf (updated on Feb-17) |
| Tue Feb 15th | Declarative concurrency continued | |
| Thu Feb 17th | Declarative concurrency continued, message passing concurrency | pdf 4up.pdf (updated on Feb-22) |
| Tue Feb 22th | Message passing concurrency continued | |
| Thu Feb 24th | Explicit state | pdf 4up.pdf |
| Tue Mar 1st | Object-oriented programming | pdf 4up.pdf |
| Thu Mar 3rd | Object-oriented programming | |
| Tue Mar 8th | Guest lecture: Dr. Pike | |
| Thu Mar 10th | No class due to midterm | |
| Tue Mar 15th | Springbreak, no classes | |
| Thu Mar 17th | Springbreak, no classes | |
| Tue Mar 22th | Lambda calclus | pdf 4up.pdf |
| Thu Mar 24th | Type systems | pdf 4up.pdf (updated on Apr-5) |
| Tue Mar 29th | Type systems continued | |
| Thu Mar 31th | Type systems continued | |
| Tue Apr 5th | Subtyping | pdf 4up.pdf (updated on Apr-7) |
| Thu Apr 7th | Subtyping | |
| Tue Apr 12th | No classes, have been rescheduled | |
| Thu Apr 14th | No classes, have been rescheduled | |
| Tue Apr 19th (12:30 PM) | Presentations | |
| Tue Apr 19th (4:00 PM) | Presentations | |
| Thu Apr 21st | Presentations | |
| Tue Apr 26th | Presentations | |
| Thu Apr 28th | Presentations | |
| Tue May 3rd |