Variant Parametric Types: A Flexible Subtyping Scheme for Generics

@article{generics-toplas28,
   address = {New York, NY, USA},
   apice = {GenericsToplas28},
   author = {Igarashi, Atsushi and Viroli, Mirko},
   doi = {10.1145/1152649.1152650},
   issn = {0164-0925},
   journal = {ACM Transactions on Programming Languages and Systems},
   month = sep,
   number = 5,
   pages = {795--847},
   publisher = {ACM Press},
   title = {Variant Parametric Types: A Flexible Subtyping Scheme for Generics},
   volume = 28,
   year = 2006
}