TypePlug -- Practical, Pluggable Types. Nik Haldiman, Marcus Denker, Oscar Nierstrasz. ESUG 2007, LuganoWeniger lesen