Type-Safe Distributed Programming for OCaml (2006)

by John Billings , Peter Sewell , Mark Shinwell , Rok Strnisa
Venue:IN ACM SIGPLAN WORKSHOP ON ML
Citations:9 - 3 self