The Fox Project
Contact Information
Email enquiries are being taken by [email protected]. You can
contact the principal investigators directly:
Robert Harper,
Peter Lee,
Frank Pfenning
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213-3891
USA
[ 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/
|