Static Type Inference for Parametric Classes.

Atsushi Ohori, Peter Buneman

Browse the full OOPSLA paper archive.