Lectures

Lectures will generally be available online shortly after the class meets.

1. 6/2 - Course introduction (PDF | PPT)
2. 6/3 - Ruby introduction (PDF | PPT)
3. 6/5 - Ruby regular expressions (PDF | PPT)
4. 6/9 - Regular expressions theory (PDF | PPT)
5. 6/10 and 6/11 - Finite automata theory (PDF | PPT)
6. 6/12 - Finite automata conversions (PDF | PPT)
7. 6/16 - Context-free grammars (PDF | PPT)
8. 6/17 - Context-free grammars (PDF | PPT)
9. 6/18 - Parsing (PDF | PPT)
10. 6/23 - OCaml introduction (PDF | PPT)
11. 6/24 - OCaml recursion (PDF | PPT)
12. 6/26 - OCaml recursion (PDF | PPT)
13. 6/30 - OCaml currying (PDF | PPT)
14. 7/1 - OCaml objects and modules (PDF | PPT)
15. 7/2 - Operational semantics (PDF | PPT)
16. 7/3 - Lambda calculus (PDF | PPT)
17. 7/7 - Lambda calculus (PDF | PPT)
18. 7/10 - Concurrency (PDF | PPT)
19. 7/14 - Concurrency (PDF | PPT)
20. 7/15 - Concurrency (PDF | PPT)
21. 7/17 - Generics (PDF | PPT)
22. 7/21 - Garbage Collection (PDF | PPT)
23. 7/21 - Exceptions (PDF | PPT)
24. 7/22 - Evaluation Strategies (PDF | PPT)

Also: discussion section examples