Composing polymorphic information flow systems with reference immutability.

Ana L. Milanova, Wei Huang

Browse the full ECOOP paper archive.