Revisiting Occurrence Typing - Laboratoire Méthodes Formelles Accéder directement au contenu
Article Dans Une Revue Science of Computer Programming Année : 2022

Revisiting Occurrence Typing

Résumé

We revisit occurrence typing, a technique to refine the type of variables occurring in type-cases and, thus, capture some programming patterns used in untyped languages. Although occurrence typing was tied from its inception to set-theoretic types—union types, in particular—it never fully exploited the capabilities of these types. Here we show how, by using set-theoretic types, it is possible to develop a general typing framework that encompasses and generalizes several aspects of current occurrence typing proposals and that can be applied to tackle other problems such as the reconstruction of intersection types for unannotated or partially annotated functions and the optimization of the compilation of gradually typed languages.
Fichier principal
Vignette du fichier
main-elsarticle.pdf (553.55 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02181137 , version 1 (11-07-2019)
hal-02181137 , version 2 (12-07-2019)
hal-02181137 , version 3 (18-07-2019)
hal-02181137 , version 4 (21-10-2021)
hal-02181137 , version 5 (09-02-2022)

Identifiants

Citer

Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyen. Revisiting Occurrence Typing. Science of Computer Programming, 2022, 217 (102781), ⟨10.1016/j.scico.2022.102781⟩. ⟨hal-02181137v5⟩
251 Consultations
251 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More