<< 2009/05/25 | ホーム | 2009/05/27 >>

オープンシステムサイエンス、所眞理雄 編著訳、NTT出版

読了。ソニー CSL の研究。

タグ :

Finding the Source of Type Errors

型エラーの原因を見つける手法の提案。ちょっと古い。手法としては、単一化する際に型変数の値が決まればその理由を記録するというもの。理由って何かとか細かいことは全然書かれていない。

author="Mitchell Wand",
title="{Finding the Source of Type Errors}",
booktitle="POPL'86",
publisher="ACM",
pages="38--43",
year="1986"

http://doi.acm.org/10.1145/512644.512648

タグ : ,