Search for tag: "programming"

23 Media

42:50 21-02-parallel-prefix-scan 21-02-parallel-prefix-scan	21-02-parallel-prefix-scan Parallel Prefix Scan cos326 elements sequence element output sum server prefix tree algorithm servers mapreduce scan range log input function programming left span operator From Daniel Macleod on November 17th, 2020 0 likes 221 plays Date November 17th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
57:57 Effective ML Effective ML	Effective ML Yaron Minsky guest lecture in Princeton COS 326 Functional Programming, November 5, 2020 things thing language ocaml kind lot connection error fact function programming idea lots languages exchange questions garbage messages tool performance From Andrew Appel on November 5th, 2020 0 likes 80 plays Date November 5th, 2020 Speaker Yaron Minsky
17:43 COS510-preview COS510-preview	COS510-preview COS510 preview - Software Verification cos326 length proof cons app programs induction assistant programming thing ocaml function theorem computer things machine reflexivity append hypothesis step fact From Daniel Macleod on September 16th, 2020 0 likes 130 plays Date September 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
59:23 Minors Policy Minors Policy	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… ceswebinar programs background staff princeton programming participants guidance lot things question bit webinar minors zoom checks thing campus questions issue miners From ces Conference and Event Services on September 11th, 2020 0 likes 4 plays Date May 6th, 2020 Speaker Eric Hamblin, Killian Kueny, Missy McGinn, Hope Caldwell
57:44 cos326-2020-21-01-parallel-collections cos326-2020-21-01-parallel-collections	cos326-2020-21-01-parallel-collections Parallel Sequences cos326 captions_10_9_2020 sequence span function parentheses length element processors cost parenthesis base mapreduce pair sequences processor programming sum operator elements parallel algorithm From Daniel Macleod on September 3rd, 2020 0 likes 236 plays Date September 3rd, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
55:36 cos326-2020-18-01-parallelism-future cos326-2020-18-01-parallelism-future	cos326-2020-18-01-parallelism-future Parallelism I cos326 captions_10_9_2020 thread programming future function processor parallelism threads programs force synchronization core futures thing tree alpha result unit processors performance chip From Daniel Macleod on September 3rd, 2020 0 likes 200 plays Date September 3rd, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
18:59 cos326-2020-01-01-intro cos326-2020-01-01-intro	cos326-2020-01-01-intro Welcome and Introduction programming languages language assignment ocaml lectures preceptor computer pair kind assignments dot precepts precept exam sources hours lecture series things From Andrew Appel on August 24th, 2020 0 likes 297 plays Date August 24th, 2020 Speaker Andrew Appel and David Walker Department COS
35:50 cos326-2020-16-02-laziness.mp4 cos326-2020-16-02-laziness.mp4	cos326-2020-16-02-laziness.mp4 Lazy Evaluation and Infinite Data cos326 stream cons unit function alpha head tail call suspension 2s arrow loop streams programming evaluation zip result expression fibs ink From Daniel Macleod on August 21st, 2020 0 likes 215 plays Date August 21st, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
39:47 cos326-2020-16-01-mutation cos326-2020-16-01-mutation	cos326-2020-16-01-mutation Mutation cos326 function factor box ref stack alpha programming ocaml side structures int mutation reference references s1 href node cons unit marks From Daniel Macleod on August 21st, 2020 0 likes 170 plays Date August 21st, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
17:48 cos326-2020-08-05-proofs-programming-languages cos326-2020-08-05-proofs-programming-languages	cos326-2020-08-05-proofs-programming-languages Did I Get it Right? Part 5: Proofs About Programming Languages cos326 expression side hand opt expressions function cases programs programming e2 proof things functions languages argument thing language hypothesis induction integer From Daniel Macleod on August 16th, 2020 0 likes 137 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
18:47 cos326-2020-06-04-operational-semantics cos326-2020-06-04-operational-semantics	cos326-2020-06-04-operational-semantics A Mathematical Model of Ocaml function substitution rules language programming rule notation model variable expression ocaml evaluation lot values expressions e2 integer thing bit semantics From Daniel Macleod on August 16th, 2020 0 likes 225 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
20:09 Community Action 2020: Education and Youth… Community Action 2020: Education and Youth Mentorship Partner Interviews	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… pace center pace orientation education youth mentorship community action arts trend students squad princeton sib circus members kids saturday programming campus student humanity semester projects trends summer activities homefront From Gwen McNamara on August 14th, 2020 0 likes 64 plays Date August 14th, 2020 Department Pace Center for Civic Engagement
30:12 Community Action: Engagement 101 Community Action: Engagement 101	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. pace center pace service civic engagement workshop experience ca engagement values students action partners experiences college organizations conversations questions princeton person leaders programming mind bit opportunities camera From Gwen McNamara on August 14th, 2020 0 likes 309 plays Date August 14th, 2020 Department Pace Center for Civic Engagement
26:48 cos326-2020-06-01-abstract-syntax cos326-2020-06-01-abstract-syntax	cos326-2020-06-01-abstract-syntax Implementing Ocaml in Ocaml: Part 1: Representing Abstract Syntax cos326 expression tree syntax variables variable expressions function programs language interpreter structure integer kind programming class semantics ocaml constructor node component From Daniel Macleod on August 14th, 2020 0 likes 279 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
12:39 cos326-2020-04-04-type-history cos326-2020-04-04-type-history	cos326-2020-04-04-type-history Where did type systems come from? cos326 languages ml programming pointer functions theory computer vulnerabilities language types sets systems records variant record integer runtime calculus paradox russell From Daniel Macleod on August 14th, 2020 0 likes 139 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
08:16 cos326-2020-04-01-c-rant cos326-2020-04-01-c-rant	cos326-2020-04-01-c-rant C Rant cos326 cons java tail vulnerabilities cases point head lists ml length ocaml thing programming lot induction values bit types pointers sell From Daniel Macleod on August 14th, 2020 0 likes 195 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ