Iowa Type Theory Commute

More on type inference for simple subtypes

July 15, 2023 Aaron Stump Season 4 Episode 14

Iowa Type Theory Commute

Jul 15, 2023 Season 4 Episode 14

Aaron Stump

I continue the discussion of Mitchell's paper Type Inference with Simple Subtypes. Coming soon: a discussion of semantics of subtyping.

Share Episode

Download

Apple Podcasts Overcast More

Listen on

Apple Podcasts Overcast Castro Castbox Pocket Casts Goodpods +

I continue the discussion of Mitchell's paper Type Inference with Simple Subtypes. Coming soon: a discussion of semantics of subtyping.