Atsushi Igarashi, Mirko Viroli. On Variance-Based Subtyping for Parametric Types. In Boris Magnusson, editor, ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings. Volume 2374 of Lecture Notes in Computer Science, pages 441-469, Springer, 2002. [doi]
Abstract is missing.