25:14duration 25 minutes 14 seconds
cos326-2020-10-02-von-neumann
How Ocaml Compiled to a Von Neumann Machine
24:10duration 24 minutes 10 seconds
cos326-2020-09-01-space-model
A Functional Space Model
08:02duration 8 minutes 2 seconds
cos326-2020-05-02-inductive-data-types
Inductive Datatypes
15:17duration 15 minutes 17 seconds
cos326-2020-05-01-simple-data-types
Ocaml Datatypes