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
Use Left/Right to seek, Home/End to jump to start or end. Hold shift to jump forward or backward.
I continue the discussion of Mitchell's paper Type Inference with Simple Subtypes. Coming soon: a discussion of semantics of subtyping.