×

Java generics are Turing complete. (English) Zbl 1380.68083

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 73-85 (2017).

MSC:

68N15 Theory of programming languages
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68Q05 Models of computation (Turing machines, etc.) (MSC2010)

Software:

Kotlin; RepLib
PDFBibTeX XMLCite
Full Text: DOI arXiv Link