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

by A Igarashi, M Viroli
Venue:ACM Transactions on Programming Languages and Systems (TOPLAS