Trustless Grid Computing in ConCert. - Bor-Yuh Evan Chang; Karl Crary; Margaret DeLap; Robert Harper 001; Jason Liszka; Tom Murphy VII; Frank Pfenning (GRID, 2002)

A Symmetric Modal Lambda Calculus for Distributed Computing. - Tom Murphy VII; Karl Crary; Robert Harper 001; Frank Pfenning (LICS, 2004)

Distributed Control Flow with Classical Modal Logic. - Tom Murphy VII; Karl Crary; Robert Harper 001 (CSL, 2005)

A separate compilation extension to standard ML. - David Swasey; Tom Murphy VII; Karl Crary; Robert Harper 001 (ML, 2006)

ML grid programming with ConCert. - Tom Murphy VII (ML, 2006)

Type-Safe Distributed Programming with ML5. - Tom Murphy VII; Karl Crary; Robert Harper 001 (TGC, 2007)