Reconstructing Continuation-Passing Semantics for WebAssembly. - Guannan Wei 004; Alexander Y. Bai; Dinghong Zhong; Jiatai Zhang (TFP, 2025)