Published January 29, 2026 | Version v1
Software Open

Accepted Artifact for "Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing"

Description

The accepted artifact for the journal article "Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing" published in Volume 11, Issue 1 of The Art, Science, and Engineering of Programming.

Please refer to the README.md to work with the artifact and reproduce results from the article.

Files

README.md

Files (1.3 GB)

Name Size
md5:5448bbb20a8646a92efd494b956643cf
1.3 GB Preview Download
md5:d571536a225f62064671526d504515ca
5.6 kB Preview Download