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 0 likes 267 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-01-simple-modules

Ocamls Modules: Part 1: Simple Structures

From  Daniel Macleod 0 likes 192 plays

cos326-2020-08-03-induction-lists

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

From  Daniel Macleod 0 likes 200 plays

cos326-2020-04-03-poly-ho

Polymorphism

From  Daniel Macleod 0 likes 273 plays

cos326-2020-04-01-c-rant

C Rant

From  Daniel Macleod 0 likes 208 plays

cos326-2020-03-03-insertion-sort

Insertion Sort

From  Daniel Macleod 0 likes 274 plays

cos326-2020-03-02-lists

Thinking Inductively

From  Daniel Macleod 0 likes 350 plays