08:10
cos326-2020-12-04-module-evaluation
Ocaml Modules: Part 4: Module Evaluations
08:38
cos326-2020-12-02-module-choices
Ocaml Modules: Part 2: Design Choices
30:29
cos326-2020-08-01-simple-proofs
Did I Get it Right? Part 1: Simple Proofs
23:36
cos326-2020-06-02-simple-evaluation
Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation
© 2022 The Trustees of Princeton University Broadcast Center | 1E12 Green Hall | Princeton, NJ 08544 | 609.258.7872 | [email protected]