Research artifact
higher-egraphs-futamura-publication-package-v1.0.zip
Supplement for Higher E-Graphs for Futamura Projections: Coherence Obstructions, Descent, and Verified Deployment
Author: Anonymous
415,514 bytes · application/zip
SHA-256: f73b8bda662863dbb09bf0760d307656c1c8beeba5e9cdfe2a007be60e20666c
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/4e6f889448cb6781fb9396988500cfc7