Search for tag: "programming"

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 29 plays

21-02-parallel-prefix-scan

Parallel Prefix Scan

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

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod on September 16th, 2020 0 likes 131 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 7 plays

cos326-2020-21-01-parallel-collections

Parallel Sequences

From  Daniel Macleod on September 3rd, 2020 0 likes 236 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 306 plays

cos326-2020-16-02-laziness.mp4

Lazy Evaluation and Infinite Data

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

cos326-2020-06-04-operational-semantics

A Mathematical Model of Ocaml

From  Daniel Macleod on August 16th, 2020 0 likes 230 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 309 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 284 plays

cos326-2020-04-04-type-history

Where did type systems come from?

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