CertiCoq-Wasm: A Verified WebAssembly Backend for CertiCoq.

Wolfgang Meier, Martin Jensen, Jean Pichon-Pharabod, Bas Spitters

Browse the full CPP paper archive.