journal : ACM Transactions on Programming Languages and Systems
1 article / Mirko Viroli
Variant Parametric Types: A Flexible Subtyping Scheme for Generics (ACM Transactions on Programming Languages and Systems, 2006) — Atsushi Igarashi, Mirko Viroli