Gradual typing: a new perspective - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Article Dans Une Revue Proceedings of the ACM on Programming Languages Année : 2019

Dates et versions

hal-02183382 , version 1 (15-07-2019)

Identifiants

Citer

Giuseppe Castagna, Victor Lanvin, Tommaso Petrucciani, Jeremy Siek. Gradual typing: a new perspective. Proceedings of the ACM on Programming Languages, 2019, 3 (POPL), pp.1-32. ⟨10.1145/3290329⟩. ⟨hal-02183382⟩
19 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More