Java generics are turing complete

Radu Grigore. Java generics are turing complete. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 73-85, ACM, 2017. [doi]

@inproceedings{Grigore17,
  title = {Java generics are turing complete},
  author = {Radu Grigore},
  year = {2017},
  url = {http://dl.acm.org/citation.cfm?id=3009871},
  researchr = {https://researchr.org/publication/Grigore17},
  cites = {0},
  citedby = {0},
  pages = {73-85},
  booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017},
  editor = {Giuseppe Castagna and Andrew D. Gordon},
  publisher = {ACM},
  isbn = {978-1-4503-4660-3},
}