Loading...
conference paper
A Core Calculus for Scala Type Checking
2006
Mathematical Foundations of Computer Science 2006. MFCS 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.
Use this identifier to reference this record
Loading...
Name
mfcs06_2.pdf
Access type
openaccess
Size
322.58 KB
Format
Adobe PDF
Checksum (MD5)
6e2e058a410ccebf0b481d2bacec4a9b