Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact)

Andreas Stadelmeier, Martin Plümicke, Peter Thiemann 0001. Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact). DARTS, 8(2), 2022. [doi]

Abstract

Abstract is missing.