More on type inference for simple subtypes

Iowa Type Theory Commute
15/07/2023 9 min Temporada 4 Episodio 14
More on type inference for simple subtypes

Listen "More on type inference for simple subtypes"

Descargar episodio

Episode Synopsis

I continue the discussion of Mitchell's paper Type Inference with Simple Subtypes.  Coming soon: a discussion of semantics of subtyping.
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA