Intersection types using Curry-style typing

Iowa Type Theory Commute
04/02/2020 10 min Temporada 1 Episodio 36
Intersection types using Curry-style typing

Listen "Intersection types using Curry-style typing"

Descargar episodio

Episode Synopsis

Intersection types internalize the idea that a term has two types.  Curry-style typing is generally needed for this to be nontrivial.
© 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