Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers

Publication
Proceedings of the ACM on Programming Languages