Type-safedistributed programming for OCaml. Submitted for publication. http://www.cl.cam.ac.uk/users/pes20/hashcaml/. [2 (1989)

by J Billings, P Sewell, M Shinwell, R Strnisa
Venue:In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages