Our paper Multi-Stage Programming with Splice Variables, co-authored with @xnningxie, has been accepted to ICFP'25 😀!
We designed a language for flexible, type-safe code generation, with advanced features like code pattern matching — enabled by what we call splice variables.