Opis: Reliable distributed systems in ocaml (2009)

by P Dagand, D Kostic, V Kuncak
Venue:In Proc. TLDI