@article{EoLeYi2003,
   author = {Hyunjun Eo and Oukseh Lee and Kwangkeun Yi},
   title = {Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms},
   journal = {New Generation Computing},
   volume = {22},
   number = {1},
   pages = {1--36},
   month = {November},
   year = {2003},
   category = {type-systems journal},
}