Published June 4, 2026 | Version v1

Artifact for paper "Another Type Inference Algorithm for First-class Implicit Polymorphism"

  • 1. The University of Iowa

Description

This upload contains the artifact (VM disk and loose files) for the conditional ICFP 2026 paper "Another Type Inference Algorithm for First-class Implicit Polymorphism"

Files

Artifact.zip

Files (17.1 GB)

Name Size
md5:59aefdee62bded5488f4b48dcdbfa2d0
453.2 kB Preview Download
md5:379dfd1d3315eeef41f9f502e9c083be
17.1 GB Download