---
date: 2025-09-09 17:08
---
#programming 

[[Contextural Modal Type Theory]]

[[メタプログラミング]]や[[多段階計算]]に近しいやつ（らしい）

[tocl07.pdf](https://www.cs.cmu.edu/~fp/papers/tocl07.pdf)