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