Type Inference in Context.

Adam Gundry, Conor McBride, James McKinna

Browse the full ICFP paper archive.