Search for tag: "checking"

Thumbnail for entry cos326-2020-17-02-type-checking-implementation

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