TY  - RPRT
TI  - Global Type Inference for Featherweight Generic Java
AU  - Andreas Stadelmeier
AU  - Martin Plümicke
AU  - Peter Thiemann
PY  - 2022
UR  - https://arxiv.org/abs/2205.08768
ID  - 2205.08768
ER  -