Search for tag: "t"

13-05-turing-machine-tape

The Turing Machine Test: module proof for equivalence

From  Daniel Macleod on November 15th, 2020 0 likes 242 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-17-01-type-checking-rules

Type Checking: Part 1: Formal Rules

From  Daniel Macleod on August 16th, 2020 0 likes 125 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-10-01-generalized-induction-hyps

Generalizing Your Inductive Hypothesis

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

cos326-2020-08-04-induction-datatypes

Did I Get it Right? Part 4: Induction for Datatypes

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

Alexander Hamilton: His Life, Thought, and Legacy

James Madison Program in American Ideals and Institutions, An Alpheus T. Mason Lecture on Constitutional Law and Political Thought: The Quest for Freedom

From  Broadcast Broadcast Center Staff on March 1st, 2018 0 likes 230 plays

12-15-13 a.m. -1 - PWA90 -Strong correlation, Superconductivity

T. Maurice Rice, Eidgenössische Technische Hochschule Gabi Kotliar, Rutgers University

From  Broadcast Broadcast Center Staff on January 9th, 2014 0 likes 61 plays