Robert Harper Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers TIC Lecture Notes in Computer Science 2071 Springer 2001 3-540-42196-3 db/conf/tic/tic2000.html