A type-and-effect system for asynchronous, typed events
Reactor: An Object Behavioral Pattern for Concurrent Event Demultiplexing and Event Handler Dispatching