Skip to content

Java generics are turing complete.

Radu Grigore

VenueA*POPL
Year2017
ProceedingsPOPL

Browse the full POPL paper archive.