Tom Schrijvers Simon L. Peyton Jones Manuel M. T. Chakravarty Martin Sulzmann Type checking with open type functions. 51-62 2008 ICFP http://doi.acm.org/10.1145/1411204.1411215 conf/icfp/2008 db/conf/icfp/icfp2008.html#SchrijversJCS08