Type-safe distributed programming for OCaml.
John BillingsPeter SewellMark R. ShinwellRok StrnisaPublished in: ML (2006)
Keyphrases
- distributed systems
- distributed network
- cooperative
- distributed architecture
- heterogeneous environments
- multi agent
- multi agent systems
- lightweight
- distributed environment
- distributed data
- parallel algorithm
- distributed learning
- distributed processing
- communication overhead
- development environment
- distributed computing
- fault tolerant
- data sets
- mobile agents
- peer to peer
- programming language
- information retrieval
- data mining