Gradual typing for generics.

Lintaro Ina, Atsushi Igarashi

Browse the full OOPSLA paper archive.