Arrêt de service lundi 11 juillet de 12h30 à 13h : tous les sites du CCSD (HAL, EpiSciences, SciencesConf, AureHAL) seront inaccessibles (branchement réseau à modifier)
Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Parametric and type-dependent polymorphism

Giuseppe Longo 1, 2, 3 
1 CNRS - Centre National de la Recherche Scientifique
2 ENS-PSL - École normale supérieure - Paris
3 Département de mathématiques et d'informatique
Abstract : Papers in free access: https://www.di.ens.fr/users/longo/download.html
Type de document :
Article dans une revue
Liste complète des métadonnées
https://hal-ens.archives-ouvertes.fr/hal-03316296
Contributeur : UAR 3608 République des savoirs Connectez-vous pour contacter le contributeur
Soumis le : vendredi 6 août 2021 - 14:16:09
Dernière modification le : vendredi 10 juin 2022 - 15:54:01

Identifiants

  • HAL Id : hal-03316296, version 1

Collections

ENS-PARIS | CNRS | INSMI | PSL

Citation

Giuseppe Longo. Parametric and type-dependent polymorphism. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1995, 22 (1-2), pp.69-92. ⟨hal-03316296⟩

Exporter

BibTeX TEI DC DCterms EndNote Datacite

Partager

Métriques

Consultations de la notice

10

logo des bib de l'ENS

Contact
Bibliothèques de l'ENS
45 Rue d'Ulm, 75230
Paris cedex 05, France
acces-ouvert@ens.psl.eu

 logo de l'ENS

Données personnelles | Mentions légales | Conformité RGAA | Accessibilité