The Fox Project
Researchers
Current Members of the Fox Project
Past Members and Generally Interesting People
[ Home
| Contact Information
| Publications
| Researchers
]
[ FoxNet
| Typed Intermediate Languages
| Proof-Carrying Code
]
[ Logical Frameworks
| Staged Computation
| Language Design
]
[email protected]
http://www.cs.cmu.edu/~fox/
|