<< 2009/01/03 | ホーム | 2009/01/05 >>

Gradual Typing with Unification-based Inference

漸進的型付けの型推論アルゴリズム。動的型の扱いをどうするかがキーで、論文では動的型とその他の型の間に順序を付けて解決。ここを解決すればあとはよくある単一化。

author="Jeremy G. Siek and Manish Vachharajani",
title="{Gradual Typing with Unification-based Inference}",
booktitle="the 2008 Symposium on Dynamic Languages",
year="2008"

タグ : ,