Article Dans Une Revue
Information and Computation
Année : 1995
UAR 3608 République des savoirs : Connectez-vous pour contacter le contributeur
https://hal-ens.archives-ouvertes.fr/hal-03316300
Soumis le : vendredi 6 août 2021-14:22:10
Dernière modification le : vendredi 24 mars 2023-14:53:22
Citer
G. Castagna, G. Ghelli, Giuseppe Longo. A calculus for overloaded functions with subtyping. Information and Computation, 1995, 117 (1), pp.115-135. ⟨10.1006/inco.1995.1033⟩. ⟨hal-03316300⟩
7
Consultations
0
Téléchargements