Search for tag: "stack"

5 Media

13-05-turing-machine-tape duration 33 minutes 26 seconds 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 252 plays Date November 15th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
cos326-2020-16-01-mutation duration 39 minutes 48 seconds 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 0 likes 181 plays Date August 21st, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
cos326-2020-12-03-functors duration 25 minutes 27 seconds 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 0 likes 218 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-12-02-module-choices duration 8 minutes 38 seconds 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 0 likes 161 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-12-01-simple-modules duration 35 minutes 9 seconds 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 0 likes 200 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ