research
∙
07/25/2023
Parametric Subtyping for Structural Parametric Polymorphism
We study the interaction of structural subtyping with parametric polymor...
share
research
∙
12/13/2022
Data Layout from a Type-Theoretic Perspective
The specifics of data layout can be important for the efficiency of func...
research
∙
01/26/2022
Polarized Subtyping
Polarization of types in call-by-push-value naturally leads to the separ...
research
∙
03/28/2021
Subtyping on Nested Polymorphic Session Types
The importance of subtyping to enable a wider range of well-typed progra...
research
∙
10/13/2020