Basics of subtyping

0 צפיות· 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.

להראות יותר

 0 הערות sort   מיין לפי


הבא