home tags events about login

tom rss

what about me?

tom bonked 28 Jun 2025 08:55 +0000
original: tsungju@mathstodon.xyz

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_.

You can try out the language with this interactive demo:
https://tsung-ju.org/icfp25/

And here’s the paper:
https://tsung-ju.org/icfp25/Multi-Stage%20Programming%20with%20Splice%20Variables.pdf