Thiemann. Global Type Inference for Featherweight Generic Java. 19 May 2022.