A framework for testing compilers' type checkers
(67 stars) (16 forks) (0 indexed issues) (0 open good first issues)
Repositories
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".