Computability in Europe 2006
Logical Approaches to Computational Barriers

Regular Talk:
On Extending Wand's Type Reconstruction Algorithm to Handle Polymorphic Let

Speaker: Sunil Kothari
Author(s): Sunil Kothari and James Caldwell
Slot: Array, 16:50-17:10, col. 5


This paper details an extension to Wand's  algorithm to handle the
polymorphic let construct. We have extended Wand's algorithm by extending
the constraint language and by using a multi-phase unification algorithm in the
constraint solving phase. This is the first detailed account for implementing
such an approach. We show the correctness of our approach by  extending the
Wand's soundness and completeness results. We have validated our approach
against other popular type reconstruction algorithms by  implementing OCaml
prototypes and running them on non-trivial examples.

websites: Arnold Beckmann 2008-06-12