Search for tag: "tail"

8 Media

05:54 Clerk's Tale-Sita's Ramayana Clerk's Tale-Sita's Ramayana	Clerk's Tale-Sita's Ramayana A video by Moira Fitzgibbons for use on the Middle Ages for Educators site. mafe medieval medieval meets modern sita ramayana chaucer image works translation tail clerks literature students petrarca century adaptation character interventions literatures images illustrations text reading From Jonathan Henry on January 25th, 2021 0 likes 18 plays Date January 25th, 2021 Speaker Moira Fitzgibbons
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 216 plays Date August 21st, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
23:56 cos326-2020-08-03-induction-lists cos326-2020-08-03-induction-lists	cos326-2020-08-03-induction-lists Did I Get it Right? Part 3: Induction for Lists cos326 length induction tail proofs proof hand side theorem cat cases head hypothesis expression lists excess equation cons element access function From Daniel Macleod on August 16th, 2020 0 likes 193 plays Date August 12th, 2020 Speaker David Walker 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 on August 16th, 2020 0 likes 263 plays Date August 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
25:03 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 on August 14th, 2020 1 likes 289 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 200 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
08:49 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 on August 14th, 2020 0 likes 261 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
22:56 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 on August 14th, 2020 0 likes 337 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ