On the Complexity of Type Inference with Coercion

Mitchell Wand, Patrick O Keefe. On the Complexity of Type Inference with Coercion. In FPCA. pages 293-298, 1989. [doi]

Abstract

Abstract is missing.