Artifact: Solver-based Gradual Type Migration
Carolyn Jane Anderson;
This is the artifact that accompanies the paper "Solver-based Gradual Type Migration" which was conditionally accepted to OOPSLA 2021. These are the files included:
- TypeWhich.ova: a virtual machine that was submitted to the artifact evaluation committee
- Artifact_Guide.pdf: documentation for the artifact evaluation committee
- TypeWhich-main.zip: newer version of the source code. It has the code to generate a figure that we added after the AEC submission (the concise evaluation summary).
The latest version of the artifact is also available at https://github.com/arjunguha/typewhich.