Basics of subtyping

0 Mga view· 06/21/23
Iowa Type Theory Commute
Iowa Type Theory Commute
0 Mga subscriber
0
Sa

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.

Magpakita ng higit pa

 0 Mga komento sort   Pagbukud-bukurin Ayon


Susunod