This repository offers an alternative semantics (definitional interpreter) of WebAssembly in continuation-passing style (CPS).
Reconstructing Continuation-Passing Semantics for WebAssembly
Guannan Wei, Alex Bai, Dinghong Zhong, Jiatai Zhang
26th International Symposium on Trends in Functional Programming (TFP 2025).