Java generics are turing complete

DOI10.1145/3009837.3009871zbMath1380.68083arXiv1605.05274OpenAlexW2427840161MaRDI QIDQ5370847

Radu Grigore

Publication date: 20 October 2017

Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1605.05274

zbMATH Keywords

JavadecidabilityTuring machineparser generatorfluent interfacesubtype checking

Mathematics Subject Classification ID

Uses Software

• RepLib
• Kotlin

This page was built for publication: Java generics are turing complete