Proofs about a Folklore Let-Polymorphic Type Inference Algorithm · 723 (1986)

by G F Johnson, J A Walz
Venue:In Proceedings of the 13th Annual ACM Symposium on Principles of Programming Languages. ACM