@techreport{LeYi2000a,
   author = {Oukseh Lee and Kwangkeun Yi},
   title = {A Generalized Let-Polymorphic Type Inference Algorithm},
   institution = {Research On Program Analysis System, National Creative Research Center, Korea Advanced Institute of Science and Technology},
   type = {Technical Memorandum},
   number = {ROPAS-2000-5},
   month = {March},
   year = {2000},
   category = {tech-memo},
   format = {pdf ps.gz ps},
}