Sign in

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

Andreas StadelmeierMartin PlümickePeter Thiemann
Published in: Dagstuhl Artifacts Ser. (2022)
Keyphrases