| Information Flow Control-by-Construction for an Object-Oriented Language | 0 | 0.34 | 2022 |
| Separating Use and Reuse to Improve Both. | 0 | 0.34 | 2019 |
| Sound Invariant Checking Using Type Modifiers and Object Capabilities. | 0 | 0.34 | 2019 |
| A Syntactic Model of Mutation and Aliasing. | 0 | 0.34 | 2019 |
| Flexible recovery of uniqueness and immutability | 0 | 0.34 | 2019 |
| Iteratively Composing Statically Verified Traits. | 0 | 0.34 | 2019 |
| CallƐ: an effect system for method calls | 0 | 0.34 | 2019 |
| Tracing and Preventing Sharing and Mutation. | 0 | 0.34 | 2019 |
| Flexible recovery of uniqueness and immutability (Extended Version). | 0 | 0.34 | 2018 |
| A type and effect system for uniqueness and immutability. | 1 | 0.35 | 2018 |
| FHJ: A Formal Model for Hierarchical Dispatching and Overriding. | 1 | 0.36 | 2018 |
| Tracing sharing in an imperative pure calculus. | 0 | 0.34 | 2018 |
| Tracing sharing in an imperative pure calculus: extended abstract | 2 | 0.37 | 2017 |
| A type and effect system for sharing. | 3 | 0.39 | 2017 |
| Coupling catch clauses with local declarations. | 0 | 0.34 | 2016 |
| Runtime Checks as Nominal Types. | 0 | 0.34 | 2016 |
| Initialize-and-catch. | 0 | 0.34 | 2016 |
| An Imperative Pure Calculus. | 4 | 0.43 | 2016 |
| Types for Immutability and Aliasing Control. | 0 | 0.34 | 2016 |
| Aliasing Control In An Imperative Pure Calculus | 5 | 0.45 | 2015 |
| True small-step reduction for imperative object oriented languages | 3 | 0.41 | 2013 |
| The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types. | 8 | 0.57 | 2013 |
| A meta-circular language for active libraries. | 0 | 0.34 | 2013 |
| DeepFJig: modular composition of nested classes | 3 | 0.38 | 2012 |
| Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages | 8 | 0.44 | 2012 |
| Strong Exception-Safety For Checked And Unchecked Exceptions | 2 | 0.42 | 2011 |
| A Lightweight Approach to Customizable Composition Operators for Java-like Classes | 2 | 0.36 | 2010 |
| Strong exception-safety for Java-like languages | 2 | 0.43 | 2009 |
| Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes | 17 | 0.75 | 2009 |
| Customizable composition operators for Java-like classes. | 0 | 0.34 | 2009 |
