Search for tag: "int"

13 Media

cos326-2020-22-01-parallelism-and-a7 duration 34 minutes 32 seconds cos326-2020-22-01-parallelism-and-a7 cos326-2020-22-01-parallelism-and-a7	cos326-2020-22-01-parallelism-and-a7 Programming with Parallel Sequences captions_10_9_2020 sequence function span sequences array dot length words processor elements url position module network word int operators alpha mapreduce element From Daniel Macleod 0 likes 160 plays Date September 3rd, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
cos326-2020-16-01-mutation duration 39 minutes 48 seconds 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 0 likes 181 plays Date August 21st, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
cos326-2020-17-04-type-inference-2 duration 20 minutes 43 seconds cos326-2020-17-04-type-inference-2 cos326-2020-17-04-type-inference-2	cos326-2020-17-04-type-inference-2 Type Checking: Part 4: Type Inference (Quantifiers) cos326 function inference expression algorithm bool thing arrow argument types side unit reference hand variables solution ref href result quantifier int From Daniel Macleod 0 likes 94 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-17-03-type-inference-1 duration 43 minutes 7 seconds cos326-2020-17-03-type-inference-1 cos326-2020-17-03-type-inference-1	cos326-2020-17-03-type-inference-1 Type Checking: Part 3: Type Inference (Simple Types) cos326 function arrow constraints int types algorithm solution inference expression argument bool equations variables substitution equation result constraint unification term schemes From Daniel Macleod 0 likes 163 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-17-02-type-checking-implementation duration 9 minutes 39 seconds cos326-2020-17-02-type-checking-implementation cos326-2020-17-02-type-checking-implementation	cos326-2020-17-02-type-checking-implementation Type Checking: Part 2: Ocaml Implementation cos326 function expression context error operation integer t. checking argument result expressions rule checker t1 int call variables statement paren t2 From Daniel Macleod 0 likes 140 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-17-01-type-checking-rules duration 21 minutes 17 seconds cos326-2020-17-01-type-checking-rules cos326-2020-17-01-type-checking-rules	cos326-2020-17-01-type-checking-rules Type Checking: Part 1: Formal Rules cos326 expression rule function context colon int types t2 rules t1 expressions behavior comma notation variables checker language execution systems t. From Daniel Macleod 0 likes 155 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-13-03-ho-rep-inv duration 22 minutes 46 seconds cos326-2020-13-03-ho-rep-inv cos326-2020-13-03-ho-rep-inv	cos326-2020-13-03-ho-rep-inv Reasoning About Modular Programs: Part 3: More Representation Invariants cos326 invariant function t. module operation int representation proof input arrow argument result words component integer elements s1 star option types From Daniel Macleod 0 likes 227 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-04-03-poly-ho duration 36 minutes 57 seconds cos326-2020-04-03-poly-ho cos326-2020-04-03-poly-ho	cos326-2020-04-03-poly-ho Polymorphism cos326 function alpha arrow beta mystery cons head int functions tail comp reduce elements comparison arguments lists fun argument return element From Daniel Macleod 0 likes 279 plays Date August 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
cos326-2020-05-02-inductive-data-types duration 8 minutes 2 seconds cos326-2020-05-02-inductive-data-types cos326-2020-05-02-inductive-data-types	cos326-2020-05-02-inductive-data-types Inductive Datatypes cos326 tree node key leaf successor constructor int datatype subtree constructors kv prime function definition datatypes types nat cases call clause From Daniel Macleod 0 likes 219 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
cos326-2020-03-03-insertion-sort duration 8 minutes 49 seconds cos326-2020-03-03-insertion-sort cos326-2020-03-03-insertion-sort	cos326-2020-03-03-insertion-sort Insertion Sort cos326 function insertion loop portion head array tail arguments argument int setup rest insert functions lists element arrays call sort algorithm From Daniel Macleod 0 likes 280 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-03-02-lists duration 22 minutes 56 seconds cos326-2020-03-02-lists cos326-2020-03-02-lists	cos326-2020-03-02-lists Thinking Inductively cos326 function cons cases lists pattern element int pair pairs zip result tail integers expression base match option excess argument pause From Daniel Macleod 0 likes 360 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-02-02-functions duration 14 minutes 2 seconds cos326-2020-02-02-functions cos326-2020-02-02-functions	cos326-2020-02-02-functions Simple Functions cos326 function int expression argument arrow string functions statement types result compiler concat arguments thing branch error t2 t1 rule ocaml From Daniel Macleod 0 likes 404 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-01-02-ocaml duration 43 minutes 11 seconds cos326-2020-01-02-ocaml cos326-2020-01-02-ocaml	cos326-2020-01-02-ocaml Introduction to Ocaml cos326 expression ocaml int function window dot unit string languages programs functions ml language programming integer rule values expressions side compiler From Daniel Macleod 0 likes 497 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ