Tom Murphy VII (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Tom Murphy VII, Karl Crary, Robert Harper: Type-Safe Distributed Programming with ML5. TGC 2007: 108-123

4 David Swasey, Tom Murphy VII, Karl Crary, Robert Harper: A separate compilation extension to standard ML. ML 2006: 32-42

3 Tom Murphy VII, Karl Crary, Robert Harper: Distributed Control Flow with Classical Modal Logic. CSL 2005: 51-69

2 Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning: A Symmetric Modal Lambda Calculus for Distributed Computing. LICS 2004: 286-295

1 Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning: Trustless Grid Computing in ConCert. GRID 2002: 112-125

Selection of 5 from 6 records - Tom Murphy VII has 7 coauthors

6		Tom Murphy VII, Karl Crary, Robert Harper: Type-Safe Distributed Programming with ML5. TGC 2007: 108-123
4		David Swasey, Tom Murphy VII, Karl Crary, Robert Harper: A separate compilation extension to standard ML. ML 2006: 32-42
3		Tom Murphy VII, Karl Crary, Robert Harper: Distributed Control Flow with Classical Modal Logic. CSL 2005: 51-69
2		Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning: A Symmetric Modal Lambda Calculus for Distributed Computing. LICS 2004: 286-295
1		Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning: Trustless Grid Computing in ConCert. GRID 2002: 112-125