Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

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