2018年時点でのまとめをしていきたいとおもいます。
ド・ブラン・インデックスを外して Prolog で実装
大堀先生のレコード多相
実装
概要はこちらを参考にしたようです。
- A Region Inference Algorithm 実装はこちらをさんこうにしたそうです。
SML の実装を OCaml に移植したもの。
-
A Region Inference Algorithm - Martin Elsman http://www.elsman.com/mlkit/pdf/toplas98.pdf
リージョンについて κeenのHappy Hacκing Blog | Lispエイリアンの狂想曲
- A Brief Introduction to Regions 今回の記事はこの論文の内容をかい摘んで書いてある。
- Implementation of the Typed Call-by-value lambda-calculus using a Stack of Regions (多分)リージョンの初出論文
- A Region Inference Algorithm リージョン推論のアルゴリズム。70ページある…
- ML Kitの論文たち ここに色々論文ある。