Type inference with polymorphic recursion. ACM transactions on programming languages and systems (1993)

by Fritz Henglein
Venue:Syst