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

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Senxi Li, Feng Dai, Tetsuro Yamazaki, Shigeru Chiba
DOI: 10.5281/zenodo.18415891
Cited by: 0

Abstract

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.

Fields of Study & Subjects

Logic programming and type systems Parallel Computing and Optimization Techniques Mobile and Web Applications

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
29 January 2026