USF COP 4020 (Programming Languages), Fall 2008
Announcements
Final grades are now posted on Blackboard.
Course materials
Assignment I, handed out on 08/27 and due on 09/21
Assignment II, handed out on 09/22 and due on 10/12
Test I (given on 09/29)
Assignment III, handed out on 10/13 and due on 11/09
Introductory tutorial on ML datatypes
Test II (given on 11/03)
Assignment IV, handed out on 11/10 and due on 12/03
Test III (given on 12/10)
Grades
Please use Blackboard to check your grades.
Useful Links
Textbook webpage (including errata)
Caml trading - experiences with functional programming on Wall Street
by Minsky and Weeks
(if you have trouble with this link, you might try an Internet search for the paper's title)
Schedule (filled in as the semester progresses)
| Week | Dates | Topics | Reading |
|---|---|---|---|
| 1 | 08/25, 08/27 | Introduction; ML basics; Polymorphism | 1.2-3.1, 5.3 |
| 2 | 09/03 | ML functions | 3.2-3.5 |
| 3 | 09/08, 09/10 | ML I/O; Higher-order functions | 4.0-4.3, 5.1, 5.4 |
| 4 | 09/15, 09/17 | Currying; Deductive systems | 5.5-5.6 |
| 5 | 09/22, 09/24 | Deductive systems; Syntax; MinML; Review | Class notes |
| 6 | 09/29, 10/01 | Test I; Syntax | Class notes |
| 7 | 10/06, 10/08 | Syntax; Dynamic semantics; Untyped lambda calculus | Class notes |
| 8 | 10/13, 10/15 | Untyped and simply typed lambda calculi; Static semantics | Class notes |
| 9 | 10/20, 10/22 | ML type system; Type safety | 6.1-6.3 |
| 10 | 10/27, 10/29 | Type safety; Review | Class notes |
| 11 | 11/03, 11/05 | Test II; Aggregate data structures | Class notes |
| 12 | 11/10, 11/12 | Recursive types | Class notes |
| 13 | 11/17, 11/19 | References; Loops | 7.3 |
| 14 | 11/24 | Evaluation contexts | Class notes |
| 15 | 12/01, 12/03 | Exceptions; Review | 5.2, 7.2 |
| Final | 12/10 | Final Exam, 5:30-7:30pm | All tests are cumulative |