2P.Canning,W.Cook,W.Hill,J.Mitchen,and W.Ohhoff.F-bounded quantification for object oriented programming.InFunctionalProg.and Com -puterArchitecture,pages: 273-280,1989.
3KrestenKrabThorup.GenerieityinJavawithvirtualtypes.InEuropean Conference On Object Oriented Programming,1997.