A Core Calculus for Scala Type Checking

Martin Odersky, Vincent Cremet
2006
Article de conférence

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.

Source officielle

https://infoscience.epfl.ch/record/95716?ln=fr

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

A Core Calculus for Scala Type Checking

When Subtyping Constraints Liberate A Novel Type Inference Approach for First-Class Polymorphism

Type-Preserving Compilation of Class-Based Languages

A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning

When Subtyping Constraints Liberate A Novel Type Inference Approach for First-Class Polymorphism

Type-Preserving Compilation of Class-Based Languages

A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning