Extensible Data Types with Ad-Hoc Polymorphism (Artifact)

Published December 30, 2025 | Version v3

Software Open

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

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

Files

Name	Size	Download all
paper-extended.pdf md5:1be83fceecc24aa2650c54fd0e99ce10	894.5 kB	Preview Download
Tabular Types.ova md5:71d9c9a3095a9af74d90194de8e02bb8	10.6 GB	Download
tabular-types-main.zip md5:6028737143d01c216b9cf33effac25b5	305.4 kB	Preview Download

116

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

License: Apache License 2.0

A permissive license whose main conditions require preservation of copyright and license notices. Contributors provide an express grant of patent rights. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more; 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