Polymorphic type inference and assignment - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1991

Polymorphic type inference and assignment

Xavier Leroy
Pierre Weis
  • Fonction : Auteur
  • PersonId : 833428

Résumé

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.
Fichier principal
Vignette du fichier
polymorphic-assignment.pdf (214.66 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01499974 , version 1 (01-04-2017)

Identifiants

Citer

Xavier Leroy, Pierre Weis. Polymorphic type inference and assignment. POPL 1991: 18th symposium Principles of Programming Languages, ACM, Jan 1991, Orlando, United States. pp.291-302, ⟨10.1145/99583.99622⟩. ⟨hal-01499974⟩
267 Consultations
145 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More