Type Inference for Polymorphic References

Mads Tofte. Type Inference for Polymorphic References. Inf. Comput., 89(1):1-34, November 1990.

Abstract

Abstract is missing.