Ethos' Deeply Integrated Distributed Types
Securing Distributed Systems with Information Flow Control