diff --git a/content/多段階計算.md b/content/多段階計算.md index d29cd862..855bda87 100644 --- a/content/多段階計算.md +++ b/content/多段階計算.md @@ -10,9 +10,7 @@ https://www.pls-lab.org/en/multi-stage-programming 日本語での詳細な解説 -Black - -MetaOCaml を使った自己反映言語のコンパイル 浅井 健一 +MetaOCaml を使った自己反映言語のコンパイル 浅井 健一 (Black ) http://www.is.ocha.ac.jp/~asai/jpapers/ppl/asai14.pdf メタプログラミングのための時相論理に基づく型付 λ 計算 湯瀬 芳洋 五十嵐 淳