Vincent Cremet François Garillot Sergueï Lenglet Martin Odersky A Core Calculus for Scala Type Checking. 1-23 2006 conf/mfcs/2006 MFCS http://dx.doi.org/10.1007/11821069_1 db/conf/mfcs/mfcs2006.html#CremetGLO06