Published January 23, 2024
| Version v3
Dataset
Open
Artifact for InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference
Authors/Creators
Description
This is the artifact for the paper, InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference.
It contains:
+ artifact.zip: the artifact including all the materials
+ readme.pdf: a document for the included materials