Kuci, Edlira ; Erdweg, Sebastian ; Bračevac, Oliver ; Bejleri, Andi ; Mezini, Mira (2017)
A Co-contextual Type Checker for Featherweight Java.
In: 31st European Conference on Object-Oriented Programming (ECOOP 2017)
doi: 10.4230/LIPIcs.ECOOP.2017.18
Buchkapitel, Bibliographie

Chen, Tzu-Chun ; Viering, Malte ; Bejleri, Andi ; Ziarek, Lukasz ; Eugster, Patrick (2016)
A Type Theory for Robust Failure Handling in Distributed Systems.
Konferenzveröffentlichung, Bibliographie