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

A One-Pass CPS Transform with Simulation on the Nose. - Pascal Y. Lasnier; Jeremy Yallop; Magnus O. Myreen (PADL, 2026)