Autor: Bejleri, Andi and Mezini, Mira / Organisationseinheit: Institut für Informatik / Datenquelle: DBLP - Universitätsbibliographie Suchergebnisse

Neu anfangen Autor Bejleri, Andi Autor Mezini, Mira Organisationseinheit Institut für Informatik Datenquelle DBLP

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

2. A Co-contextual Type Checker for Featherweight Java (incl. Proofs).

Autoren:: Kuci, Edlira; Erdweg, Sebastian; Bracevac, Oliver; Bejleri, Andi; Mezini, Mira
Veröffentlichungsdatum:: 2017
Typ:: Zeitschriftenaufsatz