Modal Types for Mobile Code
(2008; Ph.D. dissertation) [BibTeX]
|
|
|
 |
| |
Type-safe Distributed Programming with ML5
with Karl Crary and Bob Harper
(2007; Trustworthy Global Computing 2007 pre-proceedings) [BibTeX]
|
|
|
|
| |
The Cult of the Bound Variable: The 9th Annual ICFP Programming Contest
(2006; Technical Report CMU-CS-06-163) [BibTeX]
|
|
|
|
| |
Grid ML Programming with ConCert
(2006; ML Workshop 2006) [BibTeX]
|
|
|
|
| |
A Separate Compilation Extension to Standard ML (Revised and Expanded Technical Report)
with Dave Swasey, Karl Crary, and Bob Harper
(2006; Technical Report CMU-CS-06-133) [BibTeX]
|
|
|
|
| |
A Separate Compilation Extension to Standard ML
with Dave Swasey, Karl Crary, and Bob Harper
(2006; ML Workshop 2006) [BibTeX]
|
|
|
|
| |
A Separate Compilation Extension to Standard ML (superseded by the above)
with Dave Swasey, Karl Crary, and Bob Harper
(2006; Technical Report CMU-CS-06-104) [abstract, BibTeX]
|
|
 |
|
| |
Modal Types for Mobile Code (Thesis Proposal)
(2006; Technical Report CMU-CS-06-112) [abstract, BibTeX, site]
|
|
|
|
| |
Distributed Control Flow with Classical Modal Logic
with Karl Crary and Robert Harper
(2005; CSL 2005) [abstract, BibTeX]
|
|
|
|
| |
A Symmetric Modal Lambda Calculus for Distributed Computing
with Karl Crary, Robert Harper, and Frank Pfenning
(2004; LICS 2004) [abstract, BibTeX]
|
|
|
|
| |
A Symmetric Modal Lambda Calculus for Distributed Computing (Extended Technical Report)
with Karl Crary, Robert Harper, and Frank Pfenning
(2004; Technical Report CMU-CS-04-105) [abstract, BibTeX]
|
|
|
|
| |
Team Red: The Sandstorm Theorem Prover
with Deepak Garg, Greg Price, Jason Reed, Noam Zeilberger
(2004; Class project: Automated Theorem Proving)
|
|
|
|
| |
Functional Pearl: Programming With Recursion Schemes
with Daniel C. Wang
(2002; Draft) [abstract]
|
|
|
|
| |
Trustless Grid Computing in ConCert
with Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Frank Pfenning
(2002; GRID 2002 Workshop) [abstract, BibTeX]
|
|
|
|
| |
Toward a Functional Library for Fault-Tolerant Grid Computing
with Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Frank Pfenning
(2002; Draft) [abstract, BibTeX]
|
|
|
|
| |
Anonymous Identity and Trust for Peer-to-Peer Networks
with Amit K. Manjhi
(2002; Class Project: Computer Networks) [abstract]
|
|
|
|
| |
Linear Type Systems for Communication
(2001; Class Project: Linear Logic) [abstract, BibTeX]
[LinML source code]
|
|
|
|
| |
The Wizard of TILT: Efficient?, Convenient and Abstract Type Representations
(2001; Undergraduate Senior Thesis; Technical Report CMU-CS-02-120) [abstract, BibTeX] |
|
|
|