More on type inference for simple subtypes from Iowa Type Theory Commute

Iowa Type Theory Commute

Aaron Stump

More on type inference for simple subtypes

9 minutes Posted Jul 16, 2023 at 2:00 am.

0:00

9:06

Share at current time

Show notes

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