10 lines
227 B
Markdown
10 lines
227 B
Markdown
---
|
|
date: 2025-09-09 17:08
|
|
---
|
|
#programming
|
|
|
|
[[Contextural Modal Type Theory]]
|
|
|
|
[[メタプログラミング]]や[[多段階計算]]に近しいやつ（らしい）
|
|
|
|
[tocl07.pdf](https://www.cs.cmu.edu/~fp/papers/tocl07.pdf) |