Global Type Inference for Featherweight Generic Java

Java’s type system mostly relies on type checking augmented with local type
inference to improve programmer convenience. We study global type inference for
Featherweight Generic Java (FGJ), a functional Java core language. Given
generic class headers and … Read more

Similar