Howard Huang Uday S. Reddy Type Reconstruction for SCI. 6 1995 conf/fp/1995 Functional Programming db/conf/fp/fp1995.html#HuangR95