Research artifact
higher-egraphs-futamura.pdf
Supplement for Higher E-Graphs for Futamura Projections: Coherence Obstructions, Descent, and Verified Deployment
Author: Anonymous
355,067 bytes · application/octet-stream
SHA-256: 8533af3dc130c410d2de80938fc96a3bc873dc1ff52d215fda75e0c2d41ac08b
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/c37692f63446e9d028f859af5aa0d334