Polymorphic Type Inference and Assignment

Xavier Leroy, Pierre Weis. Polymorphic Type Inference and Assignment. In POPL. pages 291-302, 1991.

Abstract

Abstract is missing.