Basics of subtyping

0 vistas· 06/21/23
Iowa Type Theory Commute
0
En

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.

Mostrar más

 0 Comentarios sort   Ordenar por


Hasta la próxima