Unification source-tracking with application to diagnosis of type inference

Type error slicing in implicitly typed higher-order languages

Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)

Source-tracking unification

Information and Computation

Source-tracking unification

Information and Computation

Visual type inference

Journal of Visual Languages and Computing

Type error slicing in implicitly typed higher-order languages

ESOP'03 Proceedings of the 12th European conference on Programming

Polymorphic type reconstruction using type equations

IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages

Counter-factual typing for debugging type errors

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages