Types in Compilation Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers - Harper, Robert; Harper, Robert (Springer Berlin Heidelberg : Imprint: Springer, 2001)