43:07 duration 43 minutes 7 seconds
cos326-2020-17-03-type-inference-1
Type Checking: Part 3: Type Inference (Simple Types)
18:47 duration 18 minutes 47 seconds
cos326-2020-06-04-operational-semantics
A Mathematical Model of Ocaml
20:03 duration 20 minutes 3 seconds
cos326-2020-06-03-more-evaluation
Implementing Ocaml in Ocaml: Part 3: More Features, More Fun!
23:36 duration 23 minutes 36 seconds
cos326-2020-06-02-simple-evaluation
Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation