MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

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

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 23 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • 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
  • 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
  • Distributed control flow with classical modal logic  
  • by Tom Murphy, Vii Karl Crary, Robert Harper — 2005 — 14th Annual Conference of the European Association for Computer Science Logic (CSL 2005), Lecture Notes in Computer Science
  • …Distributed Control Flow with Classical Modal Logic Tom Murphy VII Karl Crary Robert Harper…
  • Cited by 8 (2 self) – Add To MetaCart
  • A separate compilation extension to Standard ML  
  • by David Swasey, Tom Murphy, Vii Karl, Crary Robert Harper — 2006 — In ML Workshop 2006, September 2006. URL http://tom7.org/papers
  • …Abstract A Separate Compilation Extension to Standard ML David Swasey Tom Murphy VII Karl Crary…
  • Cited by 5 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB