TY  - RPRT
TI  - A Co-contextual Type Checker for Featherweight Java (incl. Proofs)
AU  - Edlira Kuci
AU  - Sebastian Erdweg
AU  - Oliver Bračevac
AU  - Andi Bejleri
AU  - Mira Mezini
PY  - 2018
UR  - https://arxiv.org/abs/1705.05828
ID  - 1705.05828
ER  -