Research artifact
paper.pdf
Supplement for Specialization as Higher Rewriting: Futamura Coherence, Higher E-Graphs, and Factorization for Staging
Author: Anonymous
70,766 bytes · application/octet-stream
SHA-256: 0956f6744ae75bdf8567dfa66640a50e346df3f1cdf228e3ba3bc2cd5e06d462
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/d82457d46d1f0ab2a3f3802934752e12