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.