"A bargain for mergesorts — How to prove your mergesort correct and stable, almost for free" (w/ Cyril Cohen) has been accepted to ICFP'25. I presented an earlier (or, to be honest, very premature) version of this work as part of my talk at Haskell Day 2021. https://arxiv.org/abs/2403.08173 Here is the list of accepted papers: https://icfp25.sigplan.org/track/icfp-2025-papers#event-overview NB: I'm unsure if I will give the talk in person or not. Please don't travel to Singapore just because of this talk or to see me in person. The talk will be available on YouTube at some point anyway.