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

Morris, J. Garrett

doi:10.5281/zenodo.20536371

Published June 4, 2026 | Version v1

Software Open

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

Morris, J. Garrett (Researcher)¹

1. The University of Iowa

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
Artifact.zip md5:59aefdee62bded5488f4b48dcdbfa2d0	453.2 kB	Preview Download
disk.qcow md5:379dfd1d3315eeef41f9f502e9c083be	17.1 GB	Download

Views

Downloads

Show more details

	All versions	This version
Views	27	27
Downloads	9	9
Data volume	68.2 GB	68.2 GB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: June 4, 2026
Modified: June 4, 2026

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

Authors/Creators

Description

Files

Artifact.zip

Files (17.1 GB)