There is a newer version of the record available.

Published October 13, 2025 | Version v1
Software Open

Extensible Data Types with Ad-Hoc Polymorphism (Artifact)

Authors/Creators

  • 1. ROR icon University of Toronto

Description

The proofs for Extensible Data Types with Ad-Hoc Polymorphism.

See the README inside tabular-types-main.zip for usage instructions.

Files

tabular-types-main.zip

Files (10.6 GB)

Name Size
md5:71d9c9a3095a9af74d90194de8e02bb8
10.6 GB Download
md5:bf3cb895ea0185562fdfa9dcaf9182d8
301.8 kB Preview Download

Additional details

Software

Repository URL
https://github.com/mtoohey31/tabular-types