Variant Parametric Types: A Flexible Subtyping Scheme for Generics

   page       BibTeX_logo.png       attach   
cover of the publication
pub-cover.jpg