Variant parametric types: A flexible subtyping scheme for generics (0)

by A Igarashi, M Viroli
Venue:ACM TOPLAS