Search for tag: "notation"

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 153 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 282 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ