Published August 17, 2022 | Version v1
Software Open

Implementation supporting "Characterizing functions mappable over GADTs"

Authors/Creators

  • 1. Appalachian State University

Description

Artifact supporting the paper "Characterizing functions mappable over GADTs" for APLAS2022

Files

Files (4.2 MB)

Name Size Download all
md5:c96cee834f973e3b0b8949a8b743aad5
4.2 MB Download