Search for tag: "cos326"

21-02-parallel-prefix-scan

Parallel Prefix Scan

From  Daniel Macleod 0 likes 238 plays

13-05-turing-machine-tape

The Turing Machine Test: module proof for equivalence

From  Daniel Macleod 0 likes 251 plays

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

From  Daniel Macleod 0 likes 225 plays

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod 0 likes 145 plays

cos326-2020-21-01-parallel-collections

Parallel Sequences

From  Daniel Macleod 0 likes 245 plays

cos326-2020-18-01-parallelism-future

Parallelism I

From  Daniel Macleod 0 likes 207 plays

cos326-2020-16-02-laziness.mp4

Lazy Evaluation and Infinite Data

From  Daniel Macleod 0 likes 230 plays

cos326-2020-16-01-mutation

Mutation

From  Daniel Macleod 0 likes 181 plays

cos326-2020-17-04-type-inference-2

Type Checking: Part 4: Type Inference (Quantifiers)

From  Daniel Macleod 0 likes 92 plays

cos326-2020-17-03-type-inference-1

Type Checking: Part 3: Type Inference (Simple Types)

From  Daniel Macleod 0 likes 159 plays

cos326-2020-17-02-type-checking-implementation

Type Checking: Part 2: Ocaml Implementation

From  Daniel Macleod 0 likes 138 plays

cos326-2020-17-01-type-checking-rules

Type Checking: Part 1: Formal Rules

From  Daniel Macleod 0 likes 154 plays

cos326-2020-13-03-ho-rep-inv

Reasoning About Modular Programs: Part 3: More Representation Invariants

From  Daniel Macleod 0 likes 227 plays

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

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod 0 likes 208 plays

cos326-2020-13-01-representation-invariants

Reasoning about Modular Programs: Part 1: Representation Invariants

From  Daniel Macleod 0 likes 210 plays

cos326-2020-12-04-module-evaluation

Ocaml Modules: Part 4: Module Evaluations

From  Daniel Macleod 0 likes 139 plays