ask others

Tom Murphy VII

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tgc/VIICH07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tgc/VIICH07
Tom Murphy VII, Karl Crary, Robert Harper:
Type-Safe Distributed Programming with ML5. TGC 2007: 108-123
2006
[c5]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ml/VII06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ml/VII06
Tom Murphy VII:
ML grid programming with ConCert. ML 2006: 2-11
[c4]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ml/SwaseyVCH06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ml/SwaseyVCH06
David Swasey, Tom Murphy VII, Karl Crary, Robert Harper:
A separate compilation extension to standard ML. ML 2006: 32-42
2005
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/VIICH05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/VIICH05
Tom Murphy VII, Karl Crary, Robert Harper:
Distributed Control Flow with Classical Modal Logic. CSL 2005: 51-69
2004
[c2]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/lics/VIICHP04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/VIICHP04
Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning:
A Symmetric Modal Lambda Calculus for Distributed Computing. LICS 2004: 286-295
2002
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/grid/ChangCDHLVP02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/grid/ChangCDHLVP02
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

Coauthor Index

see FAQ

maintained by

at