1. Interlanguage working without tears: Blending SML with Java;Benton,1999
2. Type-checking higher-order polymorphic multi-methods;Bourdoncle,1997
3. Type inference for overloading without restrictions, declarations or annotations;Camarao,1999
4. The Common Lisp Object System overview;Demichiel,1987
5. Kinded type inference for parametric overloading;Duggan;Acta Informatica 33,1996