Revisiting the thirty years-old notions of resource-bounded immunity and simplicity, we investigate the structural characteristics of various immunity notions: strong immunity, almost immunity, and hyperimmunity as well as their corresponding simplicity notions. We also study limited immunity and simplicity, called k-immunity and feasible k-immunity, and their simplicity notions. Finally, we pr...

Going beyond the traditional view of appropriation as the customization and tailorability of technical systems, we consider a view of appropriation as a set of emergent socially constructed meanings enacted among a community of users – that is, appropriation as a sociotechnical phenomenon (Dourish 2001a, 2001b). We lay out the rationale behind such an approach, the key role of simplicity in sup...

1 Introduction This technical report contains proofs that were omitted from our paper entitled " Ownership and Immutability in Generic Java ". Please read the paper first, and only then proceed to reading this technical report, because this technical report is not self contained. We only include a summary of the syntax (Fig. 1), subtyping rules (Fig. 2), expression typing rules (Fig. 3), and re...