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.
Type de document :
Communication dans un congrès
Královič, Rastislav and Urzyczyn, Paweł. Mathematical Foundations of Computer Science 2006, Aug 2006, Stará Lesná, Slovakia. Springer Berlin Heidelberg, 4162, pp.1-23, 2006, Lecture Notes in Computer Science. 〈10.1007/11821069_1〉
Liste complète des métadonnées

Littérature citée [35 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00903812
Contributeur : Sergueï Lenglet <>
Soumis le : vendredi 15 novembre 2013 - 16:58:10
Dernière modification le : lundi 2 octobre 2017 - 16:06:03
Document(s) archivé(s) le : dimanche 16 février 2014 - 04:28:54

Fichier

06-Cremet.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky. A Core Calculus for Scala Type Checking. Královič, Rastislav and Urzyczyn, Paweł. Mathematical Foundations of Computer Science 2006, Aug 2006, Stará Lesná, Slovakia. Springer Berlin Heidelberg, 4162, pp.1-23, 2006, Lecture Notes in Computer Science. 〈10.1007/11821069_1〉. 〈hal-00903812〉

Partager

Métriques

Consultations de la notice

80

Téléchargements de fichiers

211