TY  - RPRT
TI  - Verified Causal Broadcast with Liquid Haskell
AU  - Patrick Redmond
AU  - Gan Shen
AU  - Niki Vazou
AU  - Lindsey Kuper
PY  - 2023
DO  - 10.1145/3587216.3587222
UR  - https://arxiv.org/abs/2206.14767
ID  - 2206.14767
ER  -