21:17 duration 21 minutes 17 seconds
cos326-2020-17-01-type-checking-rules
Type Checking: Part 1: Formal Rules
18:47 duration 18 minutes 47 seconds
cos326-2020-06-04-operational-semantics
A Mathematical Model of Ocaml