Search for tag: "match"

5 Media

33:26 13-05-turing-machine-tape 13-05-turing-machine-tape	13-05-turing-machine-tape The Turing Machine Test: module proof for equivalence cos326 tape dot function problem cons head module side hand definition proof i. bottom r. stack t. empty theorem match symbol From Daniel Macleod on November 15th, 2020 0 likes 242 plays Date November 15th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
30:19 cos326-2020-11-01-computability cos326-2020-11-01-computability	cos326-2020-11-01-computability Computability lambda function dot calculus match functions g. cons b. pair step ocaml argument successor capital clause constructor point x. computation From Daniel Macleod on August 16th, 2020 0 likes 174 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
14:41 cos326-2020-08-02-induction-nats cos326-2020-08-02-induction-nats	cos326-2020-08-02-induction-nats Did I Get it Right? Part 2: Induction for Naturals cos326 proof times expression theorem side hand numbers match hypothesis induction n. proofs point bit minus statement function evaluation branch cases From Daniel Macleod on August 16th, 2020 0 likes 183 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 346 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
15:04 cos326-2020-03-01-options cos326-2020-03-01-options	cos326-2020-03-01-options Options cos326 pattern option function pair slope patterns point float distance expression match types components branch statement branches values pairs bar p2 From Daniel Macleod on August 14th, 2020 0 likes 231 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ