Basics of subtyping

0 المشاهدات· 06/21/23
Iowa Type Theory Commute
Iowa Type Theory Commute
0 مشتركين
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   ترتيب حسب


التالي