Type inference for recursivly constrainted types and its application to object oriented programming (1995)

by Jonathan Eifrig, Scott Smith, Valery Trifonov
Venue:In Electronic Notes in Theoretical Computer Science