@article{EoLeYi04,
  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",
  year = "2004"
}