Abstract types and the dot notation

Abstract : We investigate the use of the dot notation in the context of abstract types. The dot notation -- that is, a.f referring to the operation f provided by the abstraction a -- is used by programming languages such as Modula-2 and CLU. We compare this notation with the Mitchell-Plotkin approach, which draws a parallel between type abstraction and (weak) existential quantification in constructive logic. The basic operations on existentials coming from logic give new insights about the meaning of type abstraction, but differ completely from the more familiar dot notation. In this paper, we formalize simple calculi equipped with the dot notation, and relate them to a more classical calculus a la Mitchell and Plotkin. This work provides some theoretical foundations for the dot notation, and suggests some useful extensions.
Type de document :
Communication dans un congrès
IFIP TC2 working conference on programming concepts and methods, Apr 1990, Tiberias, Israel. North-Holland, pp.479-504
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01499980
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 20:20:16
Dernière modification le : vendredi 16 mars 2018 - 14:44:02
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 12:51:00

Fichier

abstract-types-dot-notation.pd...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01499980, version 1

Collections

PSL

Citation

Luca Cardelli, Xavier Leroy. Abstract types and the dot notation. IFIP TC2 working conference on programming concepts and methods, Apr 1990, Tiberias, Israel. North-Holland, pp.479-504. 〈hal-01499980〉

Partager

Métriques

Consultations de la notice

99

Téléchargements de fichiers

26