Recency Types for Dynamically-Typed, Object-Based Languages
JavaScript のような動的型付けでオブジェクトな言語の型システムの提案。うまいようにも見えるし微妙な感じにも見えるのは読み方が甘いのかなんなのか。同じロケーションに割り付けられたオブジェクトは基本的には最新のものしか見えなくて、古いのはそこにあったことだけわかるような仕掛けになっている。preservation と progression が示されているけど、やっぱりどことなく納得いかない感じ。
author="Philip Heidegger and Peter Thiemann",
title="{Recency Types for Dynamically-Typed, Object-Based Languages}",
booktitle="FOOL'09",
publisher="ACM",
year="2009"