1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Ori Roth
Grigore showed that Java generics are Turing complete by describing a reduction from Turing machines to Java subtyping. We apply Grigore's algorithm to Python type hints and deduce…