
Yuito MURASE
@bindingscope
多段階計算と様相λ計算が気になる京都の博士学生です / Ph.D. student at Kyoto Univ. Interested in metaprogramming and modal logic. Fediverse: [email protected]
ID: 1556105180554600448
https://www.fos.kuis.kyoto-u.ac.jp/~murase/ 07-08-2022 02:29:53
332 Tweet
119 Followers
143 Following






Our paper Multi-Stage Programming with Splice Variables, co-authored with Ningning Xie, 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.




Happy to share that our ICFP’25 paper “multi-stage programming with splice variables” with Tsung-Ju Chiang received a Distinguished Paper Award! See you in Singapore! icfp25.sigplan.org/details/icfp-2…





