Follow
Tom Murphy VII
Tom Murphy VII
Verified email at cs.cmu.edu - Homepage
Title
Cited by
Cited by
Year
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
402005
The first level of Super Mario Bros. is easy with lexicographic orderings and time travel
T Murphy, VII
SIGBOVIK 2013, 112-133, 2013
39*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
282006
The Wizard of TILT: Efficient?, Convenient, and Abstract Type Representations
T Murphy
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE, 2002
92002
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
62006
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
62006
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
42006
Towards a functional library for fault-tolerant grid computing
BYE Chang, M DeLap, J Liszka, T Murphy, VII, K Crary, R Harper, ...
32002
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
12012
A modest proposal for the purity of programming
RJ Simmons, T Murphy, VII
A Record of the Proceedings of SIGBOVIK 2012, 107, 2012
12012
The system can't perform the operation now. Try again later.
Articles 1–20