Search for tag: "substitution"

4 Media

43:07 cos326-2020-17-03-type-inference-1 cos326-2020-17-03-type-inference-1	cos326-2020-17-03-type-inference-1 Type Checking: Part 3: Type Inference (Simple Types) cos326 function arrow constraints int types algorithm solution inference expression argument bool equations variables substitution equation result constraint unification term schemes From Daniel Macleod 0 likes 155 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
18:47 cos326-2020-06-04-operational-semantics cos326-2020-06-04-operational-semantics	cos326-2020-06-04-operational-semantics A Mathematical Model of Ocaml function substitution rules language programming rule notation model variable expression ocaml evaluation lot values expressions e2 integer thing bit semantics From Daniel Macleod 0 likes 280 plays Date August 12th, 2020 Speaker David Walker 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 0 likes 293 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
23:36 cos326-2020-06-02-simple-evaluation cos326-2020-06-02-simple-evaluation	cos326-2020-06-02-simple-evaluation Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation cos326 expression values function evaluation exception e2 variable ocaml operation expressions variables v1 integer step language substitution constants execution e1 option From Daniel Macleod 0 likes 271 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ