FLOPS 2024での研究発表に使用したスライドです．元論文は以下から入手可能です：
An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming | SpringerLink
https://link.springer.com/chapter/10.1007/978-981-97-2300-3_13
We propose MetaFM, a novel ML-style module system that enables users to decompose multi-stage programs (i.e., programs written in a typed multi-stage programming language) into loosely coupled components in a manner natural with respect to type abstraction. The...