Type-safe distributed programming for OCaml


Existing ML-like languages guarantee type-safety, ensuring memory safety and protecting the invariants of abstract types, but only within single executions of single programs. Distributed programming is becoming ever more important, and should benefit even more from such guarantees. In previous work on theoretical calculi and the Acute prototype language we… (More)
DOI: 10.1145/1159876.1159881


  • Presentations referencing similar topics