Taming wildcards in Java's type system.

Ross Tate, Alan Leung, Sorin Lerner

Browse the full PLDI paper archive.