GrEv: Compiling Gradual Types with Evidence

This page provides the necessary source code and basic instructions for running GrEv and reproducing the experiments.

Artifact

artifact.zip

The artifact contains:

  • instructions.md: instructions for running GrEv and replicating the experiments
  • GrEv/: GrEv source code and Dockerfile
  • grev-experiments/: benchmarks and scripts for running the experiments