We study the interaction of structural subtyping with parametric polymor...
The specifics of data layout can be important for the efficiency of
func...
Polarization of types in call-by-push-value naturally leads to the separ...
The importance of subtyping to enable a wider range of well-typed progra...
Session types statically describe communication protocols between concur...