dblp.uni-trier.dewww.uni-trier.de

Tom Murphy VII Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
6EETom Murphy VII, Karl Crary, Robert Harper: Type-Safe Distributed Programming with ML5. TGC 2007: 108-123
2006
5EETom Murphy VII: ML grid programming with ConCert. ML 2006: 2-11
4EEDavid Swasey, Tom Murphy VII, Karl Crary, Robert Harper: A separate compilation extension to standard ML. ML 2006: 32-42
2005
3EETom Murphy VII, Karl Crary, Robert Harper: Distributed Control Flow with Classical Modal Logic. CSL 2005: 51-69
2004
2EETom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning: A Symmetric Modal Lambda Calculus for Distributed Computing. LICS 2004: 286-295
2002
1EEBor-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

Coauthor Index

1Bor-Yuh Evan Chang [1]
2Karl Crary [1] [2] [3] [4] [6]
3Margaret DeLap [1]
4Robert Harper [1] [2] [3] [4] [6]
5Jason Liszka [1]
6Frank Pfenning [1] [2]
7David Swasey [4]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)