Case Inference in Resolution-Based Languages.

Toshiro Wakayama T. H. Payne Case Inference in Resolution-Based Languages. 313-322 1988 conf/cade/1988 CADE db/conf/cade/cade88.html#WakayamaP88 http://dx.doi.org/10.1007/BFb0012839