Search for tag: "constructor"

5 Media

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
24:10 cos326-2020-09-01-space-model cos326-2020-09-01-space-model	cos326-2020-09-01-space-model A Functional Space Model cos326 space tree function pair node amount structure allocation structures c1 pointer ocaml integer garbage constructor point functions insert constructors hand From Daniel Macleod on August 16th, 2020 0 likes 297 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
26:49 cos326-2020-06-01-abstract-syntax cos326-2020-06-01-abstract-syntax	cos326-2020-06-01-abstract-syntax Implementing Ocaml in Ocaml: Part 1: Representing Abstract Syntax cos326 expression tree syntax variables variable expressions function programs language interpreter structure integer kind programming class semantics ocaml constructor node component From Daniel Macleod on August 14th, 2020 0 likes 297 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
08:02 cos326-2020-05-02-inductive-data-types cos326-2020-05-02-inductive-data-types	cos326-2020-05-02-inductive-data-types Inductive Datatypes cos326 tree node key leaf successor constructor int datatype subtree constructors kv prime function definition datatypes types nat cases call clause From Daniel Macleod on August 14th, 2020 0 likes 212 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
15:17 cos326-2020-05-01-simple-data-types cos326-2020-05-01-simple-data-types	cos326-2020-05-01-simple-data-types Ocaml Datatypes cos326 float point types square constructors polygon triangle points pattern values side constructor function circle shape cross radius clause hand color From Daniel Macleod on August 14th, 2020 0 likes 182 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ