Article Dans Une Revue
Information and Computation
Année : 1995
Cécile Alrivie : Connectez-vous pour contacter le contributeur
https://ens.hal.science/hal-03316300
Soumis le : vendredi 6 août 2021-14:22:10
Dernière modification le : vendredi 19 avril 2024-16:18:57
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