Opis: Reliable distributed systems in OCaml (0)

by P-E DAGAND, D KOSTIĆ, V KUNCAK
Venue:In Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation