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