Set-theoretic foundation of parametric polymorphism and subtyping - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Set-theoretic foundation of parametric polymorphism and subtyping

Domaines

Langage de programmation [cs.PL]

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

Fichier non déposé

Dates et versions

hal-00618839 , version 1 (03-09-2011)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS
31 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More