1. A Co-contextual Type Checker for Featherweight Java . Autoren: Kuci, Edlira; Erdweg, Sebastian; Bracevac, Oliver; Bejleri, Andi; Mezini, Mira Editoren: Müller, Peter Veröffentlichungsdatum: 2017 Typ: Konferenzbeitrag