Time Aware Compilation Verified: A Category-Theoretic Approach in Rocq.

Benjamin Lion, David Nowak

Browse the full MEMOCODE paper archive.