Ana Milanova, Wei Huang. Composing polymorphic information flow systems with reference immutability. In Werner Dietl, editor, Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013. ACM, 2013. [doi]
Abstract is missing.