多段階計算

type-theory

参考文献

• 多段階計算の型システムの基礎
  • SATySFi の作者
• BER MetaOCamlで始めるメタプログラミング(MSP) - Qiita