PRL Blog company blog
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....
- Points
- 101
- HN comments
- 8
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringDatabases & Data2017
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Nov 17, 2017 | Monotonicity Types: Towards a Type System for Eventual Consistency by cmeiklejohn | 101 | 8 |
