Pragmatic Type Interoperability. - Sébastien Baehni; Patrick Th. Eugster; Rachid Guerraoui; Philippe Altherr (ICDCS, 2003)

A typed intermediate language and algorithms for compiling scala by successive rewritings. - Philippe Altherr (2006)

Adding Type Constructor Parameterization to Java. - Vincent Cremet; Philippe Altherr (J. Object Technol., 2008)