GrEv: Compiling Gradual Types with Evidence
This page provides the necessary source code and basic instructions for running GrEv and reproducing the experiments.
Artifact
The artifact contains:
instructions.md: instructions for running GrEv and replicating the experimentsGrEv/: GrEv source code and Dockerfilegrev-experiments/: benchmarks and scripts for running the experiments

