Type inference with polymorphic recursion. Transactions on Programming Languages and Systems (1993)

by Fritz Henglein