Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl).

Colin S. Gordon

Browse the full ECOOP paper archive.