Communication Dans Un Congrès
Année : 2011
Giuseppe Castagna : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00618839
Soumis le : samedi 3 septembre 2011-14:52:29
Dernière modification le : vendredi 24 mars 2023-14:52:54
Dates et versions
Identifiants
- HAL Id : hal-00618839 , version 1
Citer
Giuseppe Castagna, Zhiwu Xu. Set-theoretic foundation of parametric polymorphism and subtyping. ICFP '11: 16th ACM-SIGPLAN International Conference on Functional Programming, Sep 2011, Tokyo, Japan. ⟨hal-00618839⟩
Collections
31
Consultations
0
Téléchargements