Research artifact
paper.tex
Supplement for Specialization as Higher Rewriting: Futamura Coherence, Higher E-Graphs, and Factorization for Staging
Author: Anonymous
24,556 bytes · application/octet-stream
SHA-256: f651e2c96bcb00371158eeb5a8eee773c31c577b8b9f20b1b21d1fe86330bc36
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/5ff4da9921602c58e169c0a61dbc723c