Parametric and type-dependent polymorphism - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Fundamenta Informaticae Année : 1995

Parametric and type-dependent polymorphism

(1, 2, 3)
1
2
3

Résumé

Papers in free access: https://www.di.ens.fr/users/longo/download.html
Fichier non déposé

Dates et versions

hal-03316296 , version 1 (06-08-2021)

Identifiants

  • HAL Id : hal-03316296 , version 1

Citer

Giuseppe Longo. Parametric and type-dependent polymorphism. Fundamenta Informaticae, 1995, 22 (1-2), pp.69-92. ⟨hal-03316296⟩
11 Consultations
0 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More