Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers¶
This is the documentation of the categorization
proposed in the OOPSLA’21 paper titled
“Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers”.