A Core Calculus for Scala Type Checking.

Vincent Cremet, Franois Garillot, Sergue Lenglet, Martin Odersky

Browse the full MFCS paper archive.