The Essence of Dependent Object Types

Martin Odersky, Tiark Rompf, Nada Amin, Sandro Stucki, Karl Samuel Grütter
2016
Article de conférence

Résumé

Focusing on path-dependent types, the paper develops foundations for Scala from first principles. Starting from a simple calculus D-

Source officielle

https://infoscience.epfl.ch/record/215280?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.

The Essence of Dependent Object Types

Type-Preserving Compilation of Class-Based Languages

A Mechanized Theory of the Box Calculus

Capturing Types

Capturing Types

A Mechanized Theory of the Box Calculus

Type-Preserving Compilation of Class-Based Languages