hsk/type-system-docs

型理論のまとめ

型システムドキュメントまとめ

2018年時点でのまとめをしていきたいとおもいます。

TAPL

simpletapl

ド・ブラン・インデックスを外して Prolog で実装

レコード多相

ohori95

大堀先生のレコード多相

型クラス

リージョン推論

リージョン推論の話

• https://github.com/Everysick/region_based_mini_ml

実装

• Region-Based Memory Management - ScienceDirect

概要はこちらを参考にしたようです。

• A Region Inference Algorithm 実装はこちらをさんこうにしたそうです。

リージョン推論

SML の実装を OCaml に移植したもの。

• SMLの実装

• 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の論文たち ここに色々論文ある。