Practical Type Inference with Levels (Artifact)

Published May 3, 2025 | Version v2

Software Open

This is the artifact of PLDI 2025 paper Practical Type Inference with Levels.

Files

Name	Size	Download all
level-artifact-v1.zip md5:f64ae922f1b0e9523cbd55bc499cb952	2.6 GB	Preview Download

264

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more