Search for tag: "expressions"

11 Media

09:39 cos326-2020-17-02-type-checking-implementation cos326-2020-17-02-type-checking-implementation	cos326-2020-17-02-type-checking-implementation Type Checking: Part 2: Ocaml Implementation cos326 function expression context error operation integer t. checking argument result expressions rule checker t1 int call variables statement paren t2 From Daniel Macleod 0 likes 135 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
21:17 cos326-2020-17-01-type-checking-rules cos326-2020-17-01-type-checking-rules	cos326-2020-17-01-type-checking-rules Type Checking: Part 1: Formal Rules cos326 expression rule function context colon int types t2 rules t1 expressions behavior comma notation variables checker language execution systems t. From Daniel Macleod 0 likes 152 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
17:48 cos326-2020-08-05-proofs-programming-languages cos326-2020-08-05-proofs-programming-languages	cos326-2020-08-05-proofs-programming-languages Did I Get it Right? Part 5: Proofs About Programming Languages cos326 expression side hand opt expressions function cases programs programming e2 proof things functions languages argument thing language hypothesis induction integer From Daniel Macleod 0 likes 155 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
30:29 cos326-2020-08-01-simple-proofs cos326-2020-08-01-simple-proofs	cos326-2020-08-01-simple-proofs Did I Get it Right? Part 1: Simple Proofs cos326 expression side function hand proof expressions programs times principle proofs step e2 equals evaluation loop words equation foo exception functions From Daniel Macleod 0 likes 201 plays Date August 12th, 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
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
15:38 cos326-2020-02-01-let cos326-2020-02-01-let	cos326-2020-02-01-let Let Expressions expression expressions times declaration step variable declarations function string programs integer change x. variables language ocaml constructs checks 2x e1 From Daniel Macleod 0 likes 299 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
43:11 cos326-2020-01-02-ocaml cos326-2020-01-02-ocaml	cos326-2020-01-02-ocaml Introduction to Ocaml cos326 expression ocaml int function window dot unit string languages programs functions ml language programming integer rule values expressions side compiler From Daniel Macleod 0 likes 483 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
01:00 2020 P3 Promo Video 2020 P3 Promo Video	2020 P3 Promo Video Check out the Prospective PhD Preview! recruitment diversity and inclusion ants legacy term experience princeton field addition spiel visit expressions spirit From Sarah Mullins 0 likes 69 plays Date June 1st, 2020 Department Access, Diversity and Inclusion at Princeton's Graduate School Location Princeton, NJ