Towards Type Inference for JavaScript
JavaScript のサブセットの型システムの提案。存在しないプロパティにアクセスすると自動的に生成されたり、メソッドを更新したりできる点に対応。型なしのプログラムに型を付けるために満たすべき制約を求めて、それを解くことで型付きプログラムに変換する。「Type Inference for JavaScript」というタイトルで一人目の著者が D 論を書いてるので、そっちにも目を通すべき。
author="Christopher Anderson and Sophia Drossopoulou and Paola Giannini",
title="{Towards Type Inference for JavaScript}",
booktitle="ECOOP 2005",
publisher="Springer",
volume="3586",
series="LNCS",
pages="428--452",
year="2005"