A symmetric modal lambda calculus for distributed computing T Murphy, VII, K Crary, R Harper, F Pfenning Logic in Computer Science, 2004, 286-295, 2004 | 135* | 2004 |
Type-safe distributed programming with ML5 T Murphy, VII, K Crary, R Harper Trustworthy Global Computing 7 (LNCS, volume 4912), 108-123, 2008 | 86* | 2008 |
Modal Types for Mobile Code T Murphy, VII Carnegie Mellon University, 2008 | 57* | 2008 |
Distributed control flow with classical modal logic T Murphy, VII, K Crary, R Harper Computer Science Logic, 51-69, 2005 | 41 | 2005 |
The first level of Super Mario Bros. is easy with lexicographic orderings and time travel T Murphy, VII SIGBOVIK 2013, 112-133, 2013 | 40* | 2013 |
Trustless grid computing in ConCert BYE Chang, K Crary, M DeLap, R Harper, J Liszka, T Murphy VII, ... Grid Computing—GRID 2002, 112-125, 2002 | 38* | 2002 |
A separate compilation extension to Standard ML D Swasey, T Murphy VII, K Crary, R Harper Proceedings of the 2006 workshop on ML, 32-42, 2006 | 28 | 2006 |
The Wizard of TILT: Efficient?, Convenient, and Abstract Type Representations T Murphy CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE, 2002 | 9 | 2002 |
The cult of the bound variable: The 9th annual ICFP programming contest T Murphy, VII, D Spoonhower, C Casinghino, DR Licata, K Crary, ... Technical Report CMU-CS-06-163, Carnegie Mellon, October 2006. UR L http …, 2006 | 8* | 2006 |
ML grid programming with ConCert T Murphy, VII Proceedings of the 2006 workshop on ML, 2-11, 2006 | 6 | 2006 |
Grid ML programming with ConCert T Murphy, VII ML Workshop 2006, 2006 | 6* | 2006 |
Modal types for mobile code (thesis proposal) T Murphy, VII Technical Report CMU-CS-06-112, Carnegie Mellon, Pittsburgh, Pennsylvania, USA, 2006 | 6 | 2006 |
A separate compilation extension to Standard ML (revised and expanded) D Swasey, TM VII, K Crary, R Harper Technical Report CMU-CS-06-104R, Carnegie Mellon University, 2006 | 4 | 2006 |
Towards a functional library for fault-tolerant grid computing BYE Chang, M DeLap, J Liszka, T Murphy, VII, K Crary, R Harper, ... | 3 | 2002 |
The glEnd() of Zelda T Murphy, VII SIGBOVIK 2016, 2016 | 2* | 2016 |
What, if anything, is epsilon? T Murphy, VII Conference in Celebration of Harry Q. Bovik’s 26th Birthday, 2014 | 2* | 2014 |
New results in k/n Power-Hours T Murphy, VII | 2* | 2014 |
Anonymous Identity and Trust for Peer-to-Peer Networks T Murphy, VII, AK Manjhi | 2* | 2002 |
Algorithms for k/n Power-Hours B Blum, W Lovas, C Martens, VII Tom Murphy A Record of the Proceedings of SIGBOVIK 2012, 29, 2012 | 1 | 2012 |
A modest proposal for the purity of programming RJ Simmons, T Murphy, VII A Record of the Proceedings of SIGBOVIK 2012, 107, 2012 | 1 | 2012 |