Type checking with open type functions (2008)

by Tom Schrijvers, Peyton Jones, Chakravarty Simon, Manuel, Martin Sulzmann
Venue:Pages 51–62 of: Proceedings of ICFP’08