Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra. Scripting the type inference process. In Colin Runciman, Olin Shivers, editors, Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003. pages 3-13, ACM, 2003. [doi]
Abstract is missing.