Pascal Y. Lasnier, Jeremy Yallop, Magnus O. Myreen: Brack: A Verified Compiler for Scheme via CakeML. CPP 2026: 157-170