An explanation-based polymorphic type checker for Standard ML (1990)

by Helen Soosaipillai