Basics of subtyping

0 Views· 06/21/23
Iowa Type Theory Commute
0

In this episode, I discuss a few of the basics for what we expect from a subtyping relation on types: reflexivity, transitivity, and the variances for arrow types.

Show more

 0 Comments sort   Sort By


Up next