Polymorphic type inference and assignment

Abstract : We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization, and a refined typing of functions. The type system given here leads to a better integration of imperative programming style with the purely applicative kernel of ML. In particular, generic functions that allocate mutable data can safely be given fully polymorphic types. We show the soundness of this type system, and give a type reconstruction algorithm.
Type de document :
Communication dans un congrès
POPL 1991: 18th symposium Principles of Programming Languages, Jan 1991, Orlando, United States. ACM, pp.291-302, 1991, 〈10.1145/99583.99622〉
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-01499974
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 20:08:42
Dernière modification le : jeudi 26 avril 2018 - 10:28:53
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 12:59:58

Fichier

polymorphic-assignment.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Xavier Leroy, Pierre Weis. Polymorphic type inference and assignment. POPL 1991: 18th symposium Principles of Programming Languages, Jan 1991, Orlando, United States. ACM, pp.291-302, 1991, 〈10.1145/99583.99622〉. 〈hal-01499974〉

Partager

Métriques

Consultations de la notice

243

Téléchargements de fichiers

18