Towards a Type System for Analyzing JavaScript Programs
JavaScript の型システムの提案。クラス定義を書かない点や暗黙の型変換に対応するための工夫をしたらしい。preservation と progress が証明されている。型システムの細かいところまで読み切れていないので、また読み直したい。
author="Peter Thiemann",
title="{Towards a Type System for Analyzing JavaScript Programs}",
booktitle="ESOP 2005",
publisher="Springer",
volume="3444",
series="LNCS",
pages="408--422",
year="2005"