Type-safe distributed programming for OCaml

Abstract

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

Topics

  • Presentations referencing similar topics