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-04-04-type-history
From
Daniel Macleod
August 14th, 2020
0 likes
0
160 plays
160
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
Where did type systems come from?
Tags
cos326
languages
ml
programming
pointer
functions
theory
computer
vulnerabilities
language
types
sets
systems
records
variant
record
integer
runtime
calculus
paradox
russell
Date
August 12th, 2020
Speaker
Andrew Appel
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…
