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

by Fritz Henglein
Venue:Programming Languages and Systems, TOPLAS