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 0 likes 246 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 0 likes 183 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 0 likes 189 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 0 likes 351 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 0 likes 235 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ