Types in Compilation : Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers - Robert Harper ((Lecture Notes in Computer Science))