Search for tag: "result"

CUI Overview

Overview of CUI Compliance Requirements

From  Irene Kopaliani on January 8th, 2021 0 likes 2 plays

guttierez-morales_juan-alfredo

Speciation of the genus Urosaurus in the Revillagigedo Archipelago

From  EEB EEB Media on October 13th, 2020 0 likes 8 plays

cos326-2020-18-01-parallelism-future

Parallelism I

From  Daniel Macleod on September 3rd, 2020 0 likes 201 plays

Bill Buxton Interview 1 minute

From  Carrie Collins on September 2nd, 2020 0 likes 3 plays

cos326-2020-16-02-laziness.mp4

Lazy Evaluation and Infinite Data

From  Daniel Macleod on August 21st, 2020 0 likes 216 plays

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

Type Checking: Part 4: Type Inference (Quantifiers)

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

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

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

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

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

Type Checking: Part 2: Ocaml Implementation

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

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

Reasoning About Modular Programs: Part 3: More Representation Invariants

From  Daniel Macleod on August 16th, 2020 0 likes 217 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-12-03-functors

Ocaml Modules: Part 3: Functors

From  Daniel Macleod on August 16th, 2020 0 likes 195 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 285 plays

cos326-2020-03-02-lists

Thinking Inductively

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

cos326-2020-02-02-functions

Simple Functions

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

House Divided Speech (1858)

From  Antonin Scalia on April 30th, 2020 0 likes 10 plays