A type-and-effect system for asynchronous, typed events
Capsule-oriented programming