Atsushi Ohori Peter Buneman Static Type Inference for Parametric Classes. 445-456 1989 conf/oopsla/1989 OOPSLA db/conf/oopsla/oopsla89.html#OhoriB89 http://doi.acm.org/10.1145/74877.74923