A Co-contextual Type Checker for Featherweight Java (incl. Proofs).
- Publikationstyp:
- Zeitschriftenaufsatz
- Metadaten:
-
- Autoren
-
Edlira Kuci
-
Sebastian Erdweg
-
Oliver Bracevac
-
Andi Bejleri
-
Mira Mezini
- Zeitschrift
- CoRR
- Datum der Veröffentlichung
- 2017
- Titel
- A Co-contextual Type Checker for Featherweight Java (incl. Proofs).
- Ausgabe der Zeitschrift
- abs/1705.05828
Datenquelle: DBLP
- Andere Metadatenquellen:
-
- Beziehungen:
-