Jacques Garrigue. Simple Type Inference for Structural Polymorphism. In The Second Asian Workshop on Programming Languages and Systems, APLAS 01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings. pages 329-343, 2001.
Abstract is missing.