J. Garrett Morris

Another Type Inference Algorithm for First-Class Implicit Polymorphism

We propose yet another approach to type inference with first-class implicit polymorphism, based on the interleaving of an Algorithm M-style constraint-generating elaboration of terms and a solver for the generated constraints. The novelty of our approach is that types include exp...