Acute

Acute- Experimental high-level language for distributed computing, focus: typing, naming, version change; designed, formally specified, implemented; extends OCaml core to support distributed development, deployment, execution, type-safe interaction between separately-built programs.