A framework for testing compilers' type checkers
(67 stars) (16 forks) (0 issues indexées) (0 good first issues ouvertes)
Dépôts
A framework for testing compilers' type checkers
Replication package for the OOPSLA 2021 paper titled "Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers".