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   مرتب سازی بر اساس


تا بعدی