Type-safe distributed programming for OCaml (2006)

by J Billings, P Sewell, M Shinwell, R Strniˇsa
Venue:In ML ’06: Proceedings of the 2006 workshop on ML. ACM