A Core Calculus for Scala Type Checking

Vincent Cremet¹, François Garillot², Sergueï Lenglet³, Martin Odersky¹

¹ EPFL Lausanne
² ENS Paris
³ ENS Lyon

Proc. MFCS 06, August 2006

Abstract

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.

Paper

in .pdf

BibTeX Entry

@InProceedings{scala:mfcs06,
  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}
}