News | Info | Lectures| Homework submission|Software installation and use | Useful links
| Weeks | Lectures | Topics | Lecture notes | Homework |
| 1, 2 | Introduction and Section 1
slides, part1 , slides, part2 codes |
Introduction & The fundamentals of SML | Section1 summary | Homework 1 (updated March 8), due on Sunday, March 15, 11:00pm Quiz 1, solved |
2,3 | Section 2 slides , codes |
SML: Building of new types | Section2 summary | Homework 2, due on Sunday, March 22, 11:00pm Quiz 2, solved |
| 4,5 | Section 3
slides , codes |
SML: first-class functions | Section3 summary | Homework 3, due on Sunday, April 5, 11:00pm Quiz 3, solved |
| 6 | Section 4 slides , codes |
SML: remaining topics | Section4 summary | No homework. Hooray!
Midterm exam sample unsolved, solved |
| 8,9 | Section 5
slides, codes |
The fundamentals of Racket | Section5 summary | Homework 4, due on Sunday, May 3, 11:00pm Quiz 4, solved |
| 10,11 | Section 6 slides , codes Lambda Calculus |
Racket v.s. SML | Section6 summary | Homework 5, due on Sunday, May 17, 11:00pm Homework on Lambda Calculus, due on Tuesday, May 19 |
| 12,13 | Section 7
slides , codes |
The fundamentals of Ruby | Section7 summary | Homework 6, due on Sunday, May 31, 11:00pm Questions for self-learning, solved |
| 14 | Section 8
slides , codes |
OOP v.s. FP, Subtyping | Section8 summary | Homework 7, due on Sunday, June 7, 11:00pm |
| 15 | Advanced topic
concurrency, CPS |
Concurrency Continuation passing style |
notes, CPS codes | |
| Wrap-up slides , codes |
Wrap-up | Sample final exam: unsolved, solved |
Last updated: April 28, 2015