30:15
Cos326-13-04-module-equivalence
Proving the Equivalence of Two Modules
35:20
RFP20-073_05Oct20
12:36
cos326-2020-13-01-representation-invariants
Reasoning about Modular Programs: Part 1: Representation Invariants
08:38
cos326-2020-12-02-module-choices
Ocaml Modules: Part 2: Design Choices
35:09
cos326-2020-12-01-simple-modules
Ocamls Modules: Part 1: Simple Structures
© 2022 The Trustees of Princeton University Broadcast Center | 1E12 Green Hall | Princeton, NJ 08544 | 609.258.7872 | [email protected]