Search for tag: "interpreter"

18:13 cos326-2020-11-02-uncomputability cos326-2020-11-02-uncomputability	cos326-2020-11-02-uncomputability Uncomputability: What We Can't Compute cos326 function lambda rep expression calculus halts syntax wrap tree functions turing ocaml machine models computation dot interpreter e2 e1 proof From Daniel Macleod on August 16th, 2020 0 likes 103 plays Date August 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
20:03 cos326-2020-06-03-more-evaluation cos326-2020-06-03-more-evaluation	cos326-2020-06-03-more-evaluation Implementing Ocaml in Ocaml: Part 3: More Features, More Fun! cos326 function expression body argument functions language evaluation application fun expressions interpreter substitution thing things branch statement constructs declaration variables result From Daniel Macleod on August 16th, 2020 0 likes 288 plays Date August 12th, 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 299 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ