Variant Parametric Types: A Flexible Subtyping Scheme for Generics

   page       BibTeX_logo.png   
@article{generics-toplas28,
Address = {New York, NY, USA},
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}