Implicit invocation of traits. - Thomas Pawlitzki; Friedrich Steimann (SAC, 2010)

Types and modularity for implicit invocation with implicit announcement. - Friedrich Steimann; Thomas Pawlitzki; Sven Apel; Christian Kästner (ACM Trans. Softw. Eng. Methodol., 2010)