Northeastern University Programming Research Laboratory (NUPRL)
Published July 28, 2021 | Version 1.0.0
Software Open

Artifact: Solver-based Gradual Type Migration

Creators

  • 1. University of Massachusetts Amherst
  • 2. Wellesley College
  • 3. Stevens Institute of Technology
  • 4. Northeastern University

Description

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:

  1. TypeWhich.ova: a virtual machine that was submitted to the artifact evaluation committee
  2. Artifact_Guide.pdf: documentation for the artifact evaluation committee
  3. 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/nuprl/typewhich.

Files

Artifact_Guide.pdf

Files (2.4 GB)

Name Size Download all
md5:2786706207b0ffc9f4177d831455c15c
140.3 kB Preview Download
md5:ed342eac0d21d3cc0e80da7d67c42a20
3.6 MB Preview Download
md5:f1f854461e6a3b3ded9846b3bc2da80f
2.4 GB Download