TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 2.

Buchkapitel

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

Konferenzveröffentlichung

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

Diese Liste wurde am Tue Mar 26 02:27:24 2024 CET generiert.