Complexity of Concrete Type-Inference in the Presence of Exceptions.

Ramkrishna Chatterjee Barbara G. Ryder William Landi Complexity of Concrete Type-Inference in the Presence of Exceptions. 57-74 http://dx.doi.org/10.1007/BFb0053563 1998 conf/esop/1998 ESOP db/conf/esop/esop98.html#ChatterjeeRL98