A Core Calculus for Scala Type Checking - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

A Core Calculus for Scala Type Checking

Vincent Cremet
  • Fonction : Auteur
Programming Methods Laboratory
François Garillot
  • Fonction : Auteur
Programming Methods Laboratory
Sergueï Lenglet
  • Fonction : Auteur
  • PersonId : 945356
Programming Methods Laboratory
Martin Odersky
  • Fonction : Auteur
Programming Methods Laboratory

Résumé

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.

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
06-Cremet.pdf (287.09 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Sergueï Lenglet  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00903812

Soumis le : vendredi 15 novembre 2013-16:58:10

Dernière modification le : lundi 2 octobre 2017-16:06:03

Archivage à long terme le : dimanche 16 février 2014-04:28:54

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
73 Consultations
397 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More