Search for tag: "runtime"

Thumbnail for entry cos326-2020-04-04-type-history

12:40

cos326-2020-04-04-type-history

cos326-2020-04-04-type-history

cos326-2020-04-04-type-history

Where did type systems come from?

cos326
languages
ml
programming
pointer
functions
theory
computer
vulnerabilities
language
types
sets
systems
records
variant
record
integer
runtime
calculus
paradox
russell
From  Daniel Macleod 0 likes 152 plays
Date
August 12th, 2020
Speaker
Andrew Appel
Department
COS
Location
Princeton NJ