Plausible candidates for such paradigms include structured<br>imperative concurrent programming, stream-based programming,<br>concurrent functions with asynchronous message passing, higher-order<br>types for events, and the use of types for communications and data<br>