Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language. - Rutger Broekhoff; Robbert Krebbers (Proc. ACM Program. Lang., 2025)