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

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

Read full text
Authors: J. Garrett Morris
DOI: 10.5281/zenodo.20536370
Cited by: 1

Abstract

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"

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
8 July 2026