Search for tag: "implementation"

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

From  Daniel Macleod 0 likes 218 plays

RFP20-073_05Oct20

From  PPPL Admins 0 likes 43 plays

cos326-2020-13-01-representation-invariants

Reasoning about Modular Programs: Part 1: Representation Invariants

From  Daniel Macleod 0 likes 203 plays

cos326-2020-12-02-module-choices

Ocaml Modules: Part 2: Design Choices

From  Daniel Macleod 0 likes 154 plays

cos326-2020-12-01-simple-modules

Ocamls Modules: Part 1: Simple Structures

From  Daniel Macleod 0 likes 192 plays