Polymorphism by name for references and continuations

Abstract : This article investigates an ML-like language with by-name semantics for polymorphism: polymorphic objects are not evaluated once for all at generalization time, but re-evaluated at each specialization. Unlike the standard ML semantics, the by-name semantics works well with polymorphic references and polymorphic continuations: the naive typing rules for references and for continuations are sound with respect to this semantics. Poly-morphism by name leads to a better integration of these imperative features into the ML type discipline. Practical experience shows that it retains most of the efficiency and predictability of polymorphism by value.
Type de document :
Communication dans un congrès
POPL 1993: 20th symposium Principles of Programming Languages, Jan 1993, Charleston, United States. ACM, pp.220-231, 1993, 〈10.1145/158511.158632〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01499970
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 19:54:08
Dernière modification le : mardi 17 avril 2018 - 11:24:48
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 12:59:11

Fichier

polymorphism-by-name.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Xavier Leroy. Polymorphism by name for references and continuations. POPL 1993: 20th symposium Principles of Programming Languages, Jan 1993, Charleston, United States. ACM, pp.220-231, 1993, 〈10.1145/158511.158632〉. 〈hal-01499970〉

Partager

Métriques

Consultations de la notice

273

Téléchargements de fichiers

28