Types in compilation : third international workshop ; revised selected papers - Harper, Robert (Herausgeber); TIC (3 : 2000 : Montréal) (Lecture notes in computer science, 2001)