This is an old revision of the document!

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 archive contains:

  • instructions.md — instructions for running GrEv and replicating the experiments
  • GrEv/ — compiler source code and Dockerfile
  • grev-experiments/ — benchmark suite and experiment scripts