Global Type Inference for Featherweight Generic Java.

Andreas Stadelmeier, Martin Plmicke, Peter Thiemann

Browse the full ECOOP paper archive.