Recency Types for Analyzing Scripting Languages
JavaScript みたいな言語を対象とした型システムの提案。主眼は変数に前とは違う型のデータが代入されてもどうかにするというところ。変数が指すオブジェクトが特定できる場合はそれを見て、特定できない場合はすべての可能性を考慮する、その境界がはっきりしている、という感じのはず。合ってるかな?
author="Phillip Heidegger and Peter Thiemann",
title="{Recency Types for Analyzing Scripting Languages}",
booktitle="ECOOP2010",
publisher="Springer",
volume="6183",
series="LNCS",
pages="200--224",
year="2010"