Opis: Reliable distributed systems in ocaml (2009)

by Pierre-évariste Dagand , Dejan Kostić , Viktor Kuncak
Venue:In Proc. TLDI
Citations:6 - 1 self