Search for tag: "lists"

Ariella Elema, "Anatomy of a Duel: Jean de Carrouges versus Jacques Le Gris"

What really happened at the so-called Last Duel (the subject of the movie by the same name)? Ariella Elema has contributed a mini lecture for Middle Ages for Educators to explain such duels in…

From  Jonathan Henry on September 24th, 2021 0 likes 0 plays

cos326-2020-13-01-representation-invariants

Reasoning about Modular Programs: Part 1: Representation Invariants

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

cos326-2020-12-01-simple-modules

Ocamls Modules: Part 1: Simple Structures

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

cos326-2020-08-03-induction-lists

Did I Get it Right? Part 3: Induction for Lists

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

cos326-2020-04-03-poly-ho

Polymorphism

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

cos326-2020-04-01-c-rant

C Rant

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

cos326-2020-03-03-insertion-sort

Insertion Sort

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

cos326-2020-03-02-lists

Thinking Inductively

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