Sound Polymorphic Type Inference for Objects.

Jonathan Eifrig, Scott F. Smith, Valery Trifonov

Browse the full OOPSLA paper archive.