Research artifact
paper.md
Supplement for Specialization as Higher Rewriting: Futamura Coherence, Higher E-Graphs, and Factorization for Staging
Author: Anonymous
20,148 bytes · application/octet-stream
SHA-256: 16e121ba443ba3ccfbc38450b0e0c54bacb2b6185339697dfe24df4f1c18bf1b
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/1c0302e5449df16b05fc2d894b7d83d2