>
LAB | Dates | Topic |
---|---|---|
Lab 1 | LAB Group A03: Friday, September 18 LAB Group A01: Monday, September 21 LAB Group A02: Tuesday, September 22 |
Introduction to Emacs and OCaml |
Lab 2 | LAB Group A03: Friday, September 25 LAB Group A01: Monday, September 28 LAB Group A02: Tuesday, September 29 |
Tuples, Options, Lists, and Polymorphism in OCaml |
Lab 3 | LAB Group A03: Friday, October 2 LAB Group A01: Monday, October 5 LAB Group A02: Tuesday, October 6 |
Higher-Order Programming in OCaml |
Optional Office Hours (no lab) | LAB Group A03: Friday, October 9 LAB Group A02: Tuesday, October 13 |
(anyone can attend either session) |
Lab 4 | LAB Group A03: Friday, October 16 LAB Group A01: Monday, October 19 LAB Group A02: Tuesday, October 20 |
Modules and References |
Lab 5 | LAB Group A03: Friday, October 23 LAB Group A01: Monday, November 2 LAB Group A02: Tuesday, November 3 |
Lambda Calculus and Grammars |
Lab 6 | LAB Group A03: Friday, November 6 LAB Group A01: Monday, November 9 LAB Group A02: Tuesday, November 10 |
Scope, Functions, and Storage Management |
Lab 7 | LAB Group A03: Friday, November 13 LAB Group A01: Monday, November 16 LAB Group A02: Tuesday, November 17 |
Exceptions and Continuations |
Lab 8 | LAB Group A03: Friday, November 20 LAB Group A01: Monday, November 23 LAB Group A02: Tuesday, November 24 |
Object-Oriented Programming in OCaml |
Lab 9 | LAB Group A03: Friday, November 27 LAB Group A01: Monday, November 30 LAB Group A02: Tuesday, December 1 |
Pipelines in OCaml |
Lab 10 | LAB Group A03: Friday, December 4 LAB Group A01: Monday, December 7 LAB Group A02: Tuesday, December 8 |
Axiomatic Semantics |
Dates | Topic |
---|---|
TUT Group A05: Thursday, September 10 TUT Group A04: Friday, September 11 TUT Group A05: Thursday, September 17 TUT Group A04: Friday, September 18 |
Help Getting Started with OCaml and Emacs/TA Office Hours/Meetup |
TUT Group A05: Thursday, September 24 TUT Group A04: Friday, September 25 |
TA Office Hours/Meetup, Suggested Discussion Topics: Lab 1 and Assignment 1 |
TUT Group A05: Thursday, October 1 TUT Group A04: Friday, October 2 |
TA Office Hours/Meetup, Suggested Discussion Topics: Lab 2 and Assignment 2 |
TUT Group A05: Thursday, October 8 TUT Group A04: Friday, October 9 |
Problem Session on Datatypes (highly recommended) |
TUT Group A05: Thursday, October 15 TUT Group A04: Friday, October 16 |
Midterm 1 Review |
TUT Group A05: Thursday, October 22 TUT Group A04: Friday, October 23 |
TA Office Hours/Meetup, Suggested Discussion Topics: Lab 4 and Assignment 3 |
TUT Group A05: Thursday, November 5 TUT Group A04: Friday, November 6 |
TA Office Hours/Meetup, Suggested Discussion Topics: Lab 5 and Assignment 4 |
TUT Group A05: Thursday, November 12 TUT Group A04: Friday, November 13 |
TA Office Hours/Meetup, Suggested Discussion Topics: Lab 6 and Assignment 4 |
TUT Group A05: Thursday, November 19 TUT Group A04: Friday, November 20 |
Midterm 2 Review |
TUT Group A05: Thursday, November 26 TUT Group A04: Friday, November 27 |
TA Office Hours/Meetup, Suggested Discussion Topics: Lab 8 and Assignment 5 |
TUT Group A05: Thursday, December 3 TUT Group A04: Friday, December 4 |
Final Exam Review |