Search the dblp DataBase

Publications of Author

1. Tom Murphy VII, Karl Crary, Robert Harper
   Distributed Control Flow with Classical Modal Logic. [Citation Graph (0, 0)][DBLP]
   CSL, 2005, pp:51-69 [Conf]
   
2. Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning
   Trustless Grid Computing in ConCert. [Citation Graph (0, 0)][DBLP]
   GRID, 2002, pp:112-125 [Conf]
   
3. Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning
   A Symmetric Modal Lambda Calculus for Distributed Computing. [Citation Graph (0, 0)][DBLP]
   LICS, 2004, pp:286-295 [Conf]
   
4. David Swasey, Tom Murphy VII, Karl Crary, Robert Harper
   A separate compilation extension to standard ML. [Citation Graph (0, 0)][DBLP]
   ML, 2006, pp:32-42 [Conf]
   
5. Tom Murphy VII
   ML grid programming with ConCert. [Citation Graph (0, 0)][DBLP]
   ML, 2006, pp:2-11 [Conf]
   
6. 
   Type-Safe Distributed Programming with ML5. [Citation Graph (, )][DBLP]