Search for tag: "language"

SPACES OF BELONGING: A Public Conversation on Inclusive Campus Spaces

SPACES OF BELONGING: A Public Conversation on Inclusive Campus Spaces Presentation by Andy Chen ’09 and Waqas Jawaid ’10 Partners, Isometric Studio In conversation with Ronald McCoy, GS…

From  Princeton Inclusive on January 14th, 2021 0 likes 3 plays

Data Wrangling: How to Keep Your Data Workflows Orderly and Efficient

This webinar will provide several practical considerations to help you better manage your research data between the points of collection and analysis. We will review the principles of open research…

From  PU Princeton University Library on December 22nd, 2020 0 likes 4 plays

Keynote - Princeton African Humanities Colloquium 2020

The Keynote Address of the 2020 Princeton African Humanities Colloquium, delivered by Evelyn Fogwe Chibaka (University of Buea/CaPROWN).

From  Jack Allen on December 18th, 2020 0 likes 11 plays

Effective ML

Yaron Minsky guest lecture in Princeton COS 326 Functional Programming, November 5, 2020

From  Andrew Appel on November 5th, 2020 0 likes 80 plays

Princeton Underrepresented Minority Founders Startup Showcase

Princeton Entrepreneurship Council (PEC), the Association of Black Princeton Alumni (ABPA), the Association of Latino Princeton Alumni (ALPA) and Princeton Alumni Angels (PAA) hosted the Princeton…

From  PEC PEC Events on September 18th, 2020 0 likes 11 plays

John Bracey Interview

From  Classics Classics SCAD on September 11th, 2020 0 likes 22 plays

Mai Musié Interview

Mai is the Public Engagement Manager at the Bodleian Libraries, University of Oxford, UK. Mai has over fifteen years’ experience in outreach work with HE institutions and statutory bodies, and…

From  Classics Classics SCAD on September 5th, 2020 0 likes 24 plays

cos326-2020-01-01-intro

Welcome and Introduction

From  Andrew Appel on August 24th, 2020 0 likes 297 plays

cos326-2020-17-01-type-checking-rules

Type Checking: Part 1: Formal Rules

From  Daniel Macleod on August 16th, 2020 0 likes 124 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-08-05-proofs-programming-languages

Did I Get it Right? Part 5: Proofs About Programming Languages

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

cos326-2020-06-04-operational-semantics

A Mathematical Model of Ocaml

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