A framework for testing compilers' type checkers
(67 stars) (16 forks) (0 个已索引 issue) (0 个开放 good first issue)
仓库
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".