Published March 5, 2022
| Version v2
Software
Open
Artifact for "Finding Typing Compiler Bugs"
Authors/Creators
- 1. Imperial College London
- 2. Athens University of Economics and Business
- 3. University of Athens
Description
This is the artifact for the PLDI'22 paper "Finding Typing Compiler Bugs".