Functioning without closure: type-safe customized function representations for Standard ML (2001)

by Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn Turbak, J B Wells
Venue:Proceedings of the 2001 ACM SIGPLAN International Conference on Functional Programming (ICFP’01