Research artifact
futamura-diamond-anon-bundle-1.0.zip
Supplement for Computing the Futamura Diamond: Textual Agreement of Generated Compilers and a Self-Applicable Specializer
Author: Third Projection Collective
104,750 bytes · application/zip
SHA-256: 0f4aa7217ec161123c5a9e739089fb73e50b510c363999234bc41e3ed1b7f640
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/ea776a3027f4b1772334361465f2fee0