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

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