Type checking with open type functions.

Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann

Browse the full ICFP paper archive.