Tom Murphy VII

According to our database, Tom Murphy VII authored at least 6 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Type-Safe Distributed Programming with ML5.

Tom Murphy VII, Karl Crary, Robert Harper

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

2006

ML grid programming with ConCert.

Tom Murphy VII

Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, 2006

A separate compilation extension to standard ML.

David Swasey, Tom Murphy VII, Karl Crary, Robert Harper

Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, 2006

2005

Distributed Control Flow with Classical Modal Logic.

Tom Murphy VII, Karl Crary, Robert Harper

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

2004

A Symmetric Modal Lambda Calculus for Distributed Computing.

Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

2002

Trustless Grid Computing in ConCert.

Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning

Proceedings of the Grid Computing, 2002