Immutable Objects for a Java-Like Language
オブジェクトが immutable かどうか検査する型システムの提案。read-only かどうか、owner が誰か、などを記述する。あと、コンストラクタ内でのみ mutable であること、コンストラクタが this を外部に見せないことなども要請。Javari は参照の immutability を検査するけど、こっちは参照ではなくオブジェクトなのが違う。
author="Christian Haack and Erik Poll and Jan Schäfer and Aleksy Schubert",
title="{Immutable Objects for a Java-Like Language}",
booktitle="Proceedings of the 16th European Symposium on Programming",
publisher="Springer",
volume="4421",
series="LNCS",
pages="347--362",
year="2007"