Skip to main content
Home
Featured
Campus Life
Academics
Live Events
Channels
Home
Featured
Campus Life
Academics
Live Events
Channels
Create
Play
Play
00:00
Play
Seek 10 seconds backwards
Seek 10 seconds forward
00:00 / 00:00
Mute
Picture in picture
Fullscreen
cos326-2020-17-03-type-inference-1
From
Daniel Macleod
August 16th, 2020
0 likes
0
166 plays
166
You unliked the media.
Related Media
Loading…
Details
Details
Attachments
Share
Details
Attachments
Share
Close search in video box
To search for an exact match, please use Quotation Marks. Example: “computer”
Back
Type Checking: Part 3: Type Inference (Simple Types)
Tags
cos326
function
arrow
constraints
int
types
algorithm
solution
inference
expression
argument
bool
equations
variables
substitution
equation
result
constraint
unification
term
schemes
Date
August 16th, 2020
Speaker
David Walker
Department
COS
Location
Princeton NJ
Appears In
COS 326 Functional Programming
Link to Media Page
Link to Media Page
Embed
oEmbed
Email
Link to Media Page
Embed
oEmbed
Email
Start & End Time:
Start Time:
Start at
Set current video time as start time
End at
Set current video time as end time
Share this media via Email
Share by email
Loading
Related Media
Loading…
Copy link to share
