Abstract is missing.
- The need for capability policiesSophia Drossopoulou, James Noble. [doi]
- True small-step reduction for imperative object oriented languagesMarco Servetto, Lindsay Groves. [doi]
- A calculus for constraint-based flow typingDavid J. Pearce. [doi]
- A flow-insensitive, modular effect system for purityLukas Rytz, Nada Amin, Martin Odersky. [doi]
- Composing polymorphic information flow systems with reference immutabilityAna Milanova, Wei Huang. [doi]
- Safe corecursion in coFJDavide Ancona, Elena Zucca. [doi]
- Semi-automatic controller design of Java-like modelsYan Zhang, Béatrice Bérard, Lom-Messan Hillah, Yann Thierry-Mieg. [doi]