Type inference for recursively constrained types and its application to OOP

Jonathan Eifrig, Scott F. Smith, Valery Trifonov. Type inference for recursively constrained types and its application to OOP. Electronic Notes in Theoretical Computer Science, 1:132-153, 1995. [doi]

Abstract

Abstract is missing.