Hacker News new | ask | show | jobs
by kagebe 3491 days ago
In related news: Radu Grigore "Java generics are Turing complete" POPL'17 Preprint: https://arxiv.org/pdf/1605.05274