Proofs about a Folklore Let-Polymorphic Type Inference Algorithm (1998)

by Oukseh Lee, Kwangkeun Yi
Venue:ACM Transactions on Programming Languages and Systems