A Core Calculus for Scala Type Checking

Vincent Cremet1, François Garillot2, Sergueï Lenglet3, Martin Odersky1

1 EPFL Lausanne
2 ENS Paris
3 ENS Lyon

Proc. MFCS 06, August 2006


We present a minimal core calculus that captures interesting constructs of the Scala programming language: nested classes, abstract types, mixin composition, and path dependent types. We show that the problems of type assignment and subtyping in this calculus are decidable.


in .pdf

BibTeX Entry

  author = 	 {Vincent Cremet and Fran\c{c}ois Garillot and Sergue\"i Lenglet and Martin Odersky},
  title = 	 {A Core Calculus for Scala Type Checking},
  booktitle =	 {Proc. MFCS},
  year =	 2006,
  month =	 sep,
  series =	 {Springer LNCS}

Maintained by Martin Odersky.
Last updated: 29 June 2006.