Week

Date

Topic

Assignment

Week 1

08/31

Before the Class

09/01

• Intro

• OCaml Intro

Assignment 1: OCaml Basics (2%)

09/03

• OCaml Basics

• Jupyter Notebook

09/04

Discussion 1

Week 2

09/08

• Lists

• Jupyter Notebook

09/10

• Anonymous Functions, Higher Order Functions

• Jupyter Notebook

09/11

Quiz 1 (3%)

Week 3

09/15

• Records

• Data Types

• Exceptions

• Jupyter Notebook

Assignment 2: Higher-Order Functions (4%)

09/17

• Closures

• Tail Recursion

• Imperative Programming with OCaml

• Jupyter Notebook

09/18

Discussion 2

Week 4

09/22

• Imperative OCaml

• Property-Based Randomized Testing (PBT)

• Jupyter Notebook

09/24

• Property-Based Randomized Testing (PBT)

• Jupyter Notebook

09/25

Quiz 2 (3%)

Week 5

09/29

• Regular Expressions

• Regular Expression Slides

Assignment 3: Regular Expression Engine (6%)

10/01

• Finite Automata

• Finite Automata Slides

10/02

Discussion 3

Week 6

10/06

• DFA & NFA

• DFA & NFA Slides

• Example: Reducing NFA to DFA

10/08

Midterm 1 (12%)

10/09

Discussion 4

Week 7

10/13

Fall Break

10/15

• Context Free Grammars

• CFG Slides

10/16

Quiz 3 (3%)

Week 8

10/20

• Context Free Grammars

• CFG Slides

• Parsing

• Parsing Slides

Assignment 4: SmallC Lexer and Parser (6%)

10/22

• Parsing

• Parsing Slides

• Jupyter Notebook

10/23

Discussion 5

Week 9

10/27

• Operational Semantics

• Jupyter Slides

• Jupyter Notebook

10/29

• Type System

• Jupyter Notebook

10/30

Quiz 4 (3%)

Week 10

11/03

• Type System

• Jupyter Notebook

11/05

• Lambda Calculus

• Jupyter Slides

• Jupyter Notebook

Assignment 5: Type Checking and Compiling

11/06

Discussion 6

Week 11

11/10

• Lambda Calculus Encodings

• Jupyter Slides

• Jupyter Notebook

Assignment 5: Type Checking and Compiling

11/12

11/13

Quiz 5 (3%)