btw, here is the URL for a Java-Generics-Program from the paper: https://gist.github.com/rgrig/b4cdaed3ed9a70dbdb6f158f14b57263 https://gist.github.com/rgrig/b4

btw, here is the URL for a Java-Generics-Program from the paper: https://gist.github.com/rgrig/b4cdaed3ed9a70dbdb6f158f14b57263 https://gist.github.com/rgrig/b4cdaed3ed9a70dbdb6f158f14b572... comment from the source: // Encodes a Turing machine that counts in binary, and then halts. // Gives stack overflow by default. // If you increase the stack size (javac -J-Xss100M Main.java), // then it type-checks, but it takes a lot of time.