Scripting the type inference process.

Bastiaan Heeren Jurriaan Hage S. Doaitse Swierstra Scripting the type inference process. 3-13 2003 conf/icfp/2003 ICFP http://doi.acm.org/10.1145/944705.944707 db/conf/icfp/icfp2003.html#HeerenHS03