1
Monotonicity Types: Towards a Type System for Eventual Consistency
A few weeks back, we published a draft of an article entitled _Monotonicity Types_. In it, we describe a type system which we hope can aid the design of distributed systems by tracking monotonicity with types....