A calculus for overloaded functions with subtyping - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Information and Computation Année : 1995

A calculus for overloaded functions with subtyping

, , (1, 2, 3)
1
2
3

Dates et versions

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

Identifiants

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⟩
5 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More