Search for tag: "operations"

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

From  Daniel Macleod on November 3rd, 2020 0 likes 209 plays

cos326-2020-13-02-rep-inv-set

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod on August 16th, 2020 0 likes 199 plays

cos326-2020-12-01-simple-modules

Ocamls Modules: Part 1: Simple Structures

From  Daniel Macleod on August 16th, 2020 0 likes 185 plays

python_day01_02

PNI Bootcamp 2020 Day 1 Math/Programming

From  PNI PNI system administrator on August 10th, 2020 0 likes 1 plays

PPPL Core Values

PPPL Core Values presented by Margaret Kevin-King, November 7, 2017, at PPPL

From  Chris Cane on November 17th, 2017 0 likes 126 plays