Search for tag: "arrow"

10 Media

47:56 HS02June2022_ChrisOrban HS02June2022_ChrisOrban	HS02June2022_ChrisOrban thing students physics questions things stuff screen function chat teacher bit activity science arrow game computer activities troubleshooting blob ipad ppplonly From PPPL Admins 0 likes 2 plays
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 0 likes 230 plays Date August 21st, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
20:43 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 91 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
43:07 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 155 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
22:46 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
03:57 cos326-2020-11-03-pruning-closures cos326-2020-11-03-pruning-closures	cos326-2020-11-03-pruning-closures Pruning Closures in Your Environment Based Interpreter cos326 function variables closure environment k. space arrow unit scope closures instances pointer linear n. memory words pair point environments stuff From Daniel Macleod 0 likes 233 plays Date August 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
36:57 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
25:04 cos326-2020-04-02-map-reduce-reasoning cos326-2020-04-02-map-reduce-reasoning	cos326-2020-04-02-map-reduce-reasoning Poly Ho! cos326 function argument functions square arrow arguments head ink times call parameter thing element cons fun tail programs sum lambda expression From Daniel Macleod 1 likes 310 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
14:02 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 402 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
01:22 Adding Assets to a Media Central Gallery Adding Assets to a Media Central Gallery	Adding Assets to a Media Central Gallery Kaltura category metadata instruction screen capture categories spaces homepage gallery asset box category auto sciences academics department galleries arrow space media things cases pencil audit luck From David Hopkins 0 likes 23 plays Date August 12th, 2013 Speaker David Hopkins Department Broadcast Center