A Co-contextual Type Checker for Featherweight Java (incl. Proofs)
- Publication type:
- Preprint
- Metadata:
-
- Autoren
-
Edlira Kuci
-
Sebastian Erdweg
-
Oliver Bračevac
-
Andi Bejleri
-
Mira Mezini
- Autoren-URL
- http://arxiv.org/abs/1705.05828v2
- Schlüsselwörter
- cs.PL
- cs.PL
- 68N15
- D.3.3; F.3.1; F.3.2
- Datum der Veröffentlichung
- 2017
- Datum der Datenerfassung
- 2017
- Datum, an dem der Datensatz öffentlich gemacht wurde
- 2017
- Titel
- A Co-contextual Type Checker for Featherweight Java (incl. Proofs)
Files
1705.05828v2.pdf
Data source: arXiv
- Other metadata sources:
-
- Beziehungen:
-