Search for tag: "values"

Yael Peled

Multilingual Selfhood and the Political Ethics of a Linguistic In-Betweenness

From  Migration PIIRS Migration Research Community on March 23rd, 2021 0 likes 60 plays

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

From  Daniel Macleod on November 3rd, 2020 0 likes 209 plays

Butler Seminar - Michael Mina - Harvard - September 9, 2020

“SARS-CoV-2: Can we test our way out of this?” Abstract: The world wasn’t prepared for SARS-CoV-2. The public health infrastructure required to detect and stop global spread of a…

From  MOL MolBio Zoom Webinar on October 2nd, 2020 0 likes 35 plays

cos326-2020-13-02-rep-inv-set

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

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

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-12-01-simple-modules

Ocamls Modules: Part 1: Simple Structures

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

cos326-2020-10-02-von-neumann

How Ocaml Compiled to a Von Neumann Machine

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

cos326-2020-06-04-operational-semantics

A Mathematical Model of Ocaml

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

Community Action: Engagement 101

Community Action Program Coordinator Maggie Hussar leads Engagement 101, a workshop to prepare first-year students at Princeton University for Community Action.

From  Gwen McNamara on August 14th, 2020 0 likes 309 plays

cos326-2020-06-02-simple-evaluation

Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation

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

cos326-2020-05-01-simple-data-types

Ocaml Datatypes

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

cos326-2020-04-01-c-rant

C Rant

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

cos326-2020-03-01-options

Options

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