Sound Polymorphic Type Inference for Objects

Jonathan Eifrig, Scott F. Smith, Valery Trifonov. Sound Polymorphic Type Inference for Objects. In OOPSLA. pages 169-184, 1995.

Abstract

Abstract is missing.