Infoscience

Similar records
Conference paper

A Core Calculus for Scala Type Checking

Cremet, Vincent; Garillot, François; Lenglet, Sergueï; Odersky, Martin
  • Presented at: Mathematical Foundations of Computer Science, Stará Lesná, Slovak Republic, 28 August - 1 September 2006
  • Published in: Proceedings of MFCS 2006
  • Series: Lecture Notes in Computer Science 4162
  • Publication date: 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.

Reference

Record created on 2006-11-21, modified on 2012-03-20

Fulltext

Contacts

EPFL authors