A calculus for overloaded functions with subtyping

G. Castagna; G. Ghelli; Giuseppe Longo

doi:10.1006/inco.1995.1033

Article dans une revue

A calculus for overloaded functions with subtyping

G. Castagna G. Ghelli Giuseppe Longo ^{1, 2, 3}

1 CNRS - Centre National de la Recherche Scientifique

2 ENS-PSL - École normale supérieure - Paris

3 Département de mathématiques et d'informatique

Type de document :

Article dans une revue

Domaine :

Informatique [cs]

Mathématiques [math]

Liste complète des métadonnées

https://hal-ens.archives-ouvertes.fr/hal-03316300
Contributeur : UAR 3608 République des savoirs Connectez-vous pour contacter le contributeur
Soumis le : vendredi 6 août 2021 - 14:22:10
Dernière modification le : mardi 26 juillet 2022 - 09:42:55

A calculus for overloaded functions with subtyping

Lien texte intégral

Identifiants

Collections

Citation

Exporter

Métriques

5

A calculus for overloaded functions with subtyping

Lien texte intégral

Identifiants

Collections

Citation

Exporter

Partager

Métriques

5