A Core Calculus for Scala Type Checking
Cremet, Vincent; Garillot, François; Lenglet, Sergueï; Odersky, Martin
2006

Files

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.

Details

Title A Core Calculus for Scala Type Checking
Author(s) Cremet, Vincent ; Garillot, François ; Lenglet, Sergueï ; Odersky, Martin
Published in Mathematical Foundations of Computer Science 2006. MFCS 2006
Series Lecture Notes in Computer Science, 4162
Pages 1-23
Conference Mathematical Foundations of Computer Science, Stará Lesná, Slovak Republic, 28 August - 1 September 2006
Date 2006
DOI https://doi.org/10.1007/11821069_1
Other identifier(s) DAR: 9338
View record in Web of Science
Laboratories LAMP
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LAMP - Programming Methods Laboratory
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date 2006-11-21

Actions

Preview