Search for tag: "stack"

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
39:48 cos326-2020-16-01-mutation cos326-2020-16-01-mutation	cos326-2020-16-01-mutation Mutation cos326 function factor box ref stack alpha programming ocaml side structures int mutation reference references s1 href node cons unit marks From Daniel Macleod on August 21st, 2020 0 likes 171 plays Date August 21st, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
25:27 cos326-2020-12-03-functors cos326-2020-12-03-functors	cos326-2020-12-03-functors Ocaml Modules: Part 3: Functors cos326 matrix signature ring module elt functor function thing elements structure queue matrices element base argument result stack types alpha input From Daniel Macleod on August 16th, 2020 0 likes 203 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 148 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
35:09 cos326-2020-12-01-simple-modules cos326-2020-12-01-simple-modules	cos326-2020-12-01-simple-modules Ocamls Modules: Part 1: Simple Structures cos326 module signature implementation stack modules types operations structure query dot values clients structures client files lists interface components ocaml signatures From Daniel Macleod on August 16th, 2020 0 likes 187 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ