Opis: Reliable distributed systems in ocaml (2009)

Cached

Download Links

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