Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

There is a newer version of the record available.

Published May 30, 2023 | Version v1
Journal article Open

Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc

Creators

  • 1. The University of Iowa

Description

Artifact for paper "Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc". ICFP 2023.

Files

Files (2.0 GB)

Name Size Download all
md5:c557cc3d1c1cc649d17e0d93b687e784
2.0 GB Download
md5:e080a5fe341c27fa86ffbc6400911377
12.2 MB Download