Parametric and type-dependent polymorphism
Résumé
Papers in free access: https://www.di.ens.fr/users/longo/download.html
UAR 3608 République des savoirs : Connectez-vous pour contacter le contributeur
https://hal-ens.archives-ouvertes.fr/hal-03316296
Soumis le : vendredi 6 août 2021-14:16:09
Dernière modification le : vendredi 24 mars 2023-14:53:22