MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Tom Murphy VII" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Modal Types for Mobile Code  
  • by Tom Murphy VII — 2008
  • …Modal Types for Mobile Code Tom Murphy VII CMU-CS-08-126 May 13, 2008 School of Computer Science…
  • Add To MetaCart
  • Linear Type Systems for Communication  
  • by Tom Murphy, Tom Murphy Vii — 2001
  • …Linear Type Systems for Communication Tom Murphy VII 18 Dec 2001 Abstract Enhancing the type system…
  • Add To MetaCart
  • Type-safe distributed programming with ML5  
  • by Tom Murphy Vii, Karl Crary, Robert Harper — In Trustworthy Global Computing 2007, November 2007. URL http://tom7.org/papers/. 5
  • …Type-safe Distributed Programming with ML5 ⋆ Tom Murphy VII, Karl Crary, and Robert Harper…
  • Cited by 2 (0 self) – Add To MetaCart
  • Programming with Recursion Schemes  
  • by Daniel C. Wang, Tom Murphy VII, Tom Murphy Vii
  • …@(email omitted);) Tom Murphy VII Carnegie Mellon Pittsburgh, U.S.A. (e-mail: tom7@(email omitted);) Abstract Many typed…
  • Add To MetaCart
  • Distributed Control Flow  
  • by With Classical Modal, Tom Murphy Vii, Karl Crary, Robert Harper — 2005
  • …Distributed Control Flow with Classical Modal Logic ⋆ Tom Murphy VII, Karl Crary, and Robert…
  • Add To MetaCart
  • Trustless grid computing in ConCert  
  • by Bor-yuh Evan Chang, Karl Crary, Margaret Delap, Robert Harper, Jason Liszka, Tom Murphy Vii, Frank Pfenning — 2002 — Grid Computing – Grid 2002 Third International Workshop
  • … Harper, Jason Liszka, Tom Murphy VII, and Frank Pfenning Department of Computer Science Carnegie…
  • Cited by 24 (8 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB