Search for tag: "exception"

4 Media

08:10 cos326-2020-12-04-module-evaluation cos326-2020-12-04-module-evaluation	cos326-2020-12-04-module-evaluation Ocaml Modules: Part 4: Module Evaluations cos326 declaration module functor function declarations functions printing modules signature paren expression functors exception result variation side hand values series structures From Daniel Macleod on August 16th, 2020 0 likes 129 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
08:38 cos326-2020-12-02-module-choices cos326-2020-12-02-module-choices	cos326-2020-12-02-module-choices Ocaml Modules: Part 2: Design Choices stack pop interface argument error bug problem kind kinds programs exception option choice interfaces exceptions ocaml color client implementation air From Daniel Macleod on August 16th, 2020 0 likes 146 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
30:29 cos326-2020-08-01-simple-proofs cos326-2020-08-01-simple-proofs	cos326-2020-08-01-simple-proofs Did I Get it Right? Part 1: Simple Proofs cos326 expression side function hand proof expressions programs times principle proofs step e2 equals evaluation loop words equation foo exception functions From Daniel Macleod on August 16th, 2020 0 likes 191 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
23:35 cos326-2020-06-02-simple-evaluation cos326-2020-06-02-simple-evaluation	cos326-2020-06-02-simple-evaluation Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation cos326 expression values function evaluation exception e2 variable ocaml operation expressions variables v1 integer step language substitution constants execution e1 option From Daniel Macleod on August 14th, 2020 0 likes 244 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ