Type-Safe Distributed Programming for OCaml (2006)
Cached
Download Links
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [cs.fit.edu]
- DBLP
Other Repositories/Bibliography
by
John Billings
,
Peter Sewell
,
Mark Shinwell
,
Rok Strnisa
| Venue: | IN ACM SIGPLAN WORKSHOP ON ML |
| Citations: | 9 - 3 self |
BibTeX
@INPROCEEDINGS{Billings06type-safedistributed,
author = {John Billings and Peter Sewell and Mark Shinwell and Rok Strnisa},
title = {Type-Safe Distributed Programming for OCaml},
booktitle = {IN ACM SIGPLAN WORKSHOP ON ML},
year = {2006},
pages = {20--31},
publisher = {ACM}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 outlined techniques to provide them for simple languages. In this
