A Variation on Java Wildcards - Trading Expressiveness for Global Type Inference.

Andreas Stadelmeier, Martin Plmicke, Peter Thiemann

Browse the full ECOOP paper archive.