Towards gradual typing for generics. - Lintaro Ina; Atsushi Igarashi (STOP@ECOOP, 2009)

Gradual typing for generics. - Lintaro Ina; Atsushi Igarashi (OOPSLA, 2011)