Published January 26, 2024
| Version v5
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.md: a document for the included materials
Files
readme.md
Files
(7.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:ecb518c03a14df8e16b631494c234095
|
7.1 MB | Preview Download |
|
md5:60ed44d548a9307102043fbe144602fd
|
6.1 kB | Preview Download |