Research artifact
02-lensir-reproducibility-1.2.zip
Supplement for LensIR: Compositional Reverse Semantics for a Typed Tensor Fragment
Author: Anonymous
344,388 bytes · application/zip
SHA-256: 7c93e0454e2a328c9afb648f0da2a9572eeeaf073c05bf33a91254f5b803f1f1
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/3de7ad82dbdbf76a643275d88f677f4b