Search for tag: "values"

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 30 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 184 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 225 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 244 plays

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

Ocaml Datatypes

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

cos326-2020-04-01-c-rant

C Rant

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

cos326-2020-03-01-options

Options

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

cos326-2020-01-02-ocaml

Introduction to Ocaml

From  Daniel Macleod on August 13th, 2020 0 likes 429 plays

2020 Community Action Advice and Wrap Up

Staff with the John H. Pace, Jr. '39 Center for Civic Engagement share hopes, tips, and advice for the Great Class of 2024 as part of Community Action and Orientation to Princeton University.

From  Gwen McNamara on August 11th, 2020 0 likes 159 plays