Proofs about a Folklore Let-Polymorphic Type Inference Algorithm \Delta 17 (1993)

by X Leroy