<< BabyJ: From Object Based to Class Based Programming via Types | ホーム | Towards Automatically Eliminating Integer-Based Vulnerabilities >>

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"

タグ : ,



コメント追加 トラックバック送信