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"