Progressful Interpreters for Efficient WebAssembly Mechanisation. - Xiaojia Rao; Stefan Radziuk; Conrad Watt; Philippa Gardner (Proc. ACM Program. Lang., 2025)