Search for tag: "functions"

cos326-2020-13-01-representation-invariants

Reasoning about Modular Programs: Part 1: Representation Invariants

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

cos326-2020-12-04-module-evaluation

Ocaml Modules: Part 4: Module Evaluations

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

cos326-2020-11-02-uncomputability

Uncomputability: What We Can't Compute

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

cos326-2020-11-01-computability

Computability

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

cos326-2020-09-01-space-model

A Functional Space Model

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

cos326-2020-08-05-proofs-programming-languages

Did I Get it Right? Part 5: Proofs About Programming Languages

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

cos326-2020-08-01-simple-proofs

Did I Get it Right? Part 1: Simple Proofs

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

cos326-2020-06-03-more-evaluation

Implementing Ocaml in Ocaml: Part 3: More Features, More Fun!

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

cos326-2020-04-03-poly-ho

Polymorphism

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

cos326-2020-05-03-GML-example

Ocaml Datatypes: An Exercise in Type Design

From  Daniel Macleod on August 14th, 2020 0 likes 212 plays

cos326-2020-04-04-type-history

Where did type systems come from?

From  Daniel Macleod on August 14th, 2020 0 likes 144 plays

cos326-2020-04-02-map-reduce-reasoning

Poly Ho!

From  Daniel Macleod on August 14th, 2020 1 likes 295 plays

cos326-2020-03-03-insertion-sort

Insertion Sort

From  Daniel Macleod on August 14th, 2020 0 likes 267 plays