Taming Eventual Consistency—Applying Principles of Structured Concurrency to Distributed Systems

Arguments against static typing