From c7bee495c8be415d72cb0539cb3f938305433f70 Mon Sep 17 00:00:00 2001 From: "Tomoya Matsuura(MacBookPro)" Date: Mon, 21 Aug 2023 11:09:19 +0900 Subject: [PATCH] [obsidian] vault backup: 2023-08-21 11:09:19[ --- content/多段階計算.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) 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 メタプログラミングのための時相論理に基づく型付 λ 計算 湯瀬 芳洋 五十嵐 淳