Iowa Type Theory Commute
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
Iowa Type Theory Commute
More on type inference for simple subtypes
•
Aaron Stump
•
Season 4
•
Episode 14
Audio Player
00:00 | 09:06
I continue the discussion of Mitchell's paper Type Inference with Simple Subtypes. Coming soon: a discussion of semantics of subtyping.