[obsidian] vault backup: 2023-08-20 15:39:31[
This commit is contained in:
parent
d01cd5e7c2
commit
23ac0e0b15
@ -12,3 +12,17 @@ Black
|
|||||||
|
|
||||||
MetaOCaml を使った自己反映言語のコンパイル 浅井 健一
|
MetaOCaml を使った自己反映言語のコンパイル 浅井 健一
|
||||||
http://www.is.ocha.ac.jp/~asai/jpapers/ppl/asai14.pdf
|
http://www.is.ocha.ac.jp/~asai/jpapers/ppl/asai14.pdf
|
||||||
|
|
||||||
|
メタプログラミングのための時相論理に基づく型付 λ 計算 湯瀬 芳洋 五十嵐 淳
|
||||||
|
http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/papers/pdf/lambdaCB-PPL05.pdf
|
||||||
|
|
||||||
|
λ○: nextとprevを導入
|
||||||
|
|
||||||
|
[MetaML](https://www.sciencedirect.com/science/article/pii/S0304397500000530) nextとprevに加えてrunを導入
|
||||||
|
|
||||||
|
λ□: box(cross-stage persistence)を導入
|
||||||
|
|
||||||
|
λ○□:両方を統合
|
||||||
|
|
||||||
|
|
||||||
|
[SATySFi の多段階計算入門](https://sankantsu.hatenablog.com/entry/2022/08/19/215024)
|
||||||
|
Loading…
Reference in New Issue
Block a user