An Explanation Based Polymorphic Type Checker for Standard ML (1990)

by H Soosaipillai