A Core Calculus for Scala Type Checking - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

A Core Calculus for Scala Type Checking


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.
Fichier principal
Vignette du fichier
06-Cremet.pdf (287.09 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-00903812 , version 1 (15-11-2013)



Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky. A Core Calculus for Scala Type Checking. Mathematical Foundations of Computer Science 2006, Aug 2006, Stará Lesná, Slovakia. pp.1-23, ⟨10.1007/11821069_1⟩. ⟨hal-00903812⟩
75 View
413 Download



Gmail Mastodon Facebook X LinkedIn More