Polymorphic type inference and assignment - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1991

Polymorphic type inference and assignment

Xavier Leroy
Pierre Weis
  • Function : Author
  • PersonId : 833428


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
Origin : Files produced by the author(s)

Dates and versions

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



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⟩
271 View
146 Download



Gmail Facebook X LinkedIn More