Title: Polymorphic type inference and semi-unification
First published: 1989