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 0 likes 184 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 0 likes 302 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 0 likes 313 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 0 likes 218 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 0 likes 193 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ