@inproceedings{murphy2007ml5,
  author = {Murphy, VII, Tom and Karl Crary and Robert Harper},
  title = {Type-safe Distributed Programming with {ML5}},
  month = {November},
  year = {2007},
  location = {Sophia-Antipolis, France},
  booktitle = {Trustworthy Global Computing 2007}
}