@article{LeYi1998,
   pages = {707--723},
   year = {1998},
   title = {Proofs about a Folklore Let-Polymorphic Type Inference Algorithm},
   author = {Oukseh Lee and Kwangkeun Yi},
   volume = {20},
   number = {4},
   format = {pdf},
   journal = {ACM Transactions on Programming Languages and Systems},
   month = {July},
   category = {type-systems journal},
}