Hyunjun Eo Oukseh Lee Kwangkeun Yi Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms. 2003 22 New Generation Comput. 1 http://www.ohmsha.co.jp/ngc/abstract/22-1-1.htm db/journals/ngc/ngc22.html#EoY03