| Tue, Aug-28 | Introduction | Slides 1: pdf
4up.pdf,
Slides 2: pdf
4up.pdf |
| Thu, Aug-30 | Haskell basics | Slides 3: pdf
4up.pdf |
| Tue, Sep-4 | Types and parametric polymorphism in Haskell | |
| Thu, Sep-6 | Defining functions, pattern matching, recursion | Slides 4: pdf
4up.pdf |
|
Tue, Sep-11 | Higher-order functions, data types | |
| Thu, Sep-13 | Data types and classes | Slides 5: pdf
4up.pdf, Quiz 1 |
|
Tue, Sep-18 | Language Syntax | Slides 6: pdf
4up.pdf |
| Thu, Sep-20 | Modules. Functional parsers | Slides 7: pdf
4up.pdf
Slides 8: pdf
4up.pdf |
|
Tue, Sep-25 | IO and Monads | Slides 9: pdf
4up.pdf |
| Thu, Sep-27 | IO and Monads | |
|
Tue, Oct-2 | Functions, activation record, scopes etc. | |
| Thu, Oct-4 | Guest Lecture: Dr. Pike | |
|
Tue, Oct-9 | IO and Monads, Type checking | Slides 10: pdf
4up.pdf |
| Thu, Oct-11 | Type checking | |
|
Tue, Oct-16 | Type checking | |
| Thu, Oct-18 | Type systems | |
|
Tue, Oct-23 | Guest lecture: Jacob Smith, about some new developments in C++ | |
| Thu, Oct-25 | Mid-term exam | |
|
Tue, Oct-30 | Implementing a type checker | |
| Thu, Nov-1 | Operational semantics. | Slides 11: pdf
4up.pdf |
|
Tue, Nov-6 | Object-oriented programming and Java | Slides B1: pdf
4up.pdf |
| Thu, Nov-8 | Java object system continues. | |
|
Tue, Nov-13 | Generics in Java | Slides B2: pdf
4up.pdf |
| Thu, Nov-15 | Generics in Java. Co/contravariance | |
| Tue, Nov-20 | Wildcards, type erasure | |
| Thu, Nov-22 | Thanksgiving holiday | |
| Tue, Nov-27 | Inner classes. Reflection | Slides B4: pdf
4up.pdf
Slides B3: pdf
4up.pdf |
| Thu, Nov-29 | Concurrency in Java | Slides B5: pdf
4up.pdf |
|
Tue, Dec-4 | Concurrency in Java | |
|
Wed, Dec-12 | Final Exam, 8–10 AM | |
