Search for tag: "programming"

Butler College Families Welcome Webinar

The staff of Butler College at Princeton introduces themselves and answers any questions that families have to ask.

From  Butler Butler College Office on August 26th, 2021 0 likes 74 plays

CITP Seminar: Juan Gilbert – Can Voters Detect Ballot Manipulations with a Transparent Voting Machine?

Touch-screen ballot-marking devices (BMDs) produce paper ballots that are counted by optical-scan voting machines and can be recounted by hand. If the BMD is hacked or misprogrammed so that it prints…

From  CI Center for Information Technology Policy on April 1st, 2021 0 likes 47 plays

21-02-parallel-prefix-scan

Parallel Prefix Scan

From  Daniel Macleod on November 17th, 2020 0 likes 224 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 88 plays

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod on September 16th, 2020 0 likes 134 plays

Minors Policy

Eric Hamblin and Killian Kueny will present on the Supplemental Guidance to the Policy for Programs Involving Minors and discuss the best practices for hosting virtual events with minors. We will be…

From  ces Conference and Event Services on September 11th, 2020 0 likes 23 plays

cos326-2020-21-01-parallel-collections

Parallel Sequences

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

cos326-2020-18-01-parallelism-future

Parallelism I

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

cos326-2020-01-01-intro

Welcome and Introduction

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

cos326-2020-16-02-laziness.mp4

Lazy Evaluation and Infinite Data

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

cos326-2020-16-01-mutation

Mutation

From  Daniel Macleod on August 21st, 2020 0 likes 171 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 143 plays

cos326-2020-06-04-operational-semantics

A Mathematical Model of Ocaml

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

Community Action 2020: Education and Youth Mentorship Partner Interviews

Community Action Fellow Emily Perez '23 brings together leaders with Big Brothers, Big Sisters, HomeFront Tutoring and College Prep, Trenton Arts at Princeton, and In the Circus of Humanity with…

From  Gwen McNamara on August 14th, 2020 0 likes 65 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 310 plays

cos326-2020-06-01-abstract-syntax

Implementing Ocaml in Ocaml: Part 1: Representing Abstract Syntax

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