Tom Murphy VII

Publication Activity (10 Years)

Years Active: 2002-2007
Publications (10 Years): 0

Publications

Tom Murphy VII, Karl Crary, Robert Harper
Type-Safe Distributed Programming with ML5. TGC (2007)
David Swasey, Tom Murphy VII, Karl Crary, Robert Harper
A separate compilation extension to standard ML. ML (2006)
Tom Murphy VII
ML grid programming with ConCert. ML (2006)
Tom Murphy VII, Karl Crary, Robert Harper
Distributed Control Flow with Classical Modal Logic. CSL (2005)
Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning
A Symmetric Modal Lambda Calculus for Distributed Computing. LICS (2004)
Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning
Trustless Grid Computing in ConCert. GRID (2002)