A Core Calculus for Scala Type Checking
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.
Domains
Programming Languages [cs.PL]
Origin : Files produced by the author(s)
Loading...