[obsidian] vault backup: 2023-08-21 11:09:19[
This commit is contained in:
parent
ad561c0e4f
commit
4985c373b9
@ -10,9 +10,7 @@ https://www.pls-lab.org/en/multi-stage-programming
|
|||||||
|
|
||||||
日本語での詳細な解説
|
日本語での詳細な解説
|
||||||
|
|
||||||
Black
|
MetaOCaml を使った自己反映言語のコンパイル 浅井 健一 (Black )
|
||||||
|
|
||||||
MetaOCaml を使った自己反映言語のコンパイル 浅井 健一
|
|
||||||
http://www.is.ocha.ac.jp/~asai/jpapers/ppl/asai14.pdf
|
http://www.is.ocha.ac.jp/~asai/jpapers/ppl/asai14.pdf
|
||||||
|
|
||||||
メタプログラミングのための時相論理に基づく型付 λ 計算 湯瀬 芳洋 五十嵐 淳
|
メタプログラミングのための時相論理に基づく型付 λ 計算 湯瀬 芳洋 五十嵐 淳
|
||||||
|
Loading…
Reference in New Issue
Block a user