Research artifact
futamura-diamond-anon-1.0.pdf
Supplement for Computing the Futamura Diamond: Textual Agreement of Generated Compilers and a Self-Applicable Specializer
Author: Third Projection Collective
102,073 bytes · application/octet-stream
SHA-256: ddfabeb6ebe101f8997a47d9341095a105dcf56c67e8dfe2edc4008bf884bfe8
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/1c4cc8264381116ad6cb67b87ba6df59