Polymorphic Type Inference and Assignment

Polymorphic Type Inference and Assignment (1991)

by Xavier Leroy , Pierre Weis , Inria Rocquencourt

Citations:

47 - 1 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Polymorphic Type Inference and Assignment	user correction - Legacy Corrections
AUTHOR NAME	Xavier Leroy	SVM HeaderParse 0.1
AUTHOR NAME	Pierre Weis	SVM HeaderParse 0.1
AUTHOR NAME	Inria Rocquencourt	SVM HeaderParse 0.1
ABSTRACT	We present a new approach to the polymorphic typing of data accepting in-place modi cation in ML-like languages. This approach is based on restrictions over type generalization, and a re ned 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.	user correction - Legacy Corrections
YEAR	1991	user correction - Legacy Corrections
CITATIONS	17 found	ParsCit 1.0