Lectures - Programming Languages

Schedule

Week 1: 01/05 - 01/09
- M: Introduction to the Course
- W: Homework Demo

Week 2: 01/12 - 01/16
- M: Concrete Syntax
- W: Names, Functions, Types
  - Read: Chapter 2 in OCaml Book

Week 3: 01/19 - 01/23
- M: No Class (MLK Jr. Day)
- W: Inductive Definitions
  - HWK 1: Released

Week 4: 01/26 - 01/30
- M: Class canceled (weather)
- W: Abstract Syntax

Week 5: 02/02 - 02/06
- M: Class canceled (weather)
- W: Tail Call Optimization and Algebraic Datatypes

Week 6: 02/09 - 02/13
- M: Functional Programming
- W: Functional Programming
  - HWK 2: Released

Week 7: 02/16 - 02/20
- M: Examples Day
- W: Examples Day

Week 8: 02/23 - 02/27
- M: Midterm Exam
- W: Static & Dynamic Semantics

Week 9: 03/02 - 03/06
- M: Static & Dynamic Semantics
- T: Last day to drop with a ‘W’
- W: OOP Part 1: Pairs

Week 10: 03/09 - 03/13
- M: OOP Part 2: Unit Types
- W: OOP Part 3: Tuples
  - HWK 3: Released

Week 11: 03/16 - 03/20
- M: OOP Part 4: Records
- W: OOP Part 4: Records

Week 12: 03/23 - 03/27
- M: OOP Part 5: Mutable References
- W: OOP Part 6: Subtyping

Week 13: 03/30 - 04/03
- M: OOP Part 6: Subtyping
- W: OOP Part 7: Imperative Objects
  - HWK 4: Released

Week 14: 04/06 - 04/10
- M: OOP Part 7: Imperative Objects
- W: OOP Part 7: Imperative Objects

Week 15: 04/14 - 04/17
- M: No Class (Spring Break)
- W: No Class (Spring Break)

Week 16: 04/20 - 04/24
- M: TBA
- W: TBA
  - HWK 5: Released

Week 18: 04/27 - 05/01
- M: TBA
- W: TBA
- R: Reading Day

Week 19: 05/04 - 05/08
- Thursday, May 7: (2pm-4pm) Final Exam