The Fox Project
Contact Information
Email enquiries are being taken by Fox_Project@cs.cmu.edu. 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
]
Fox_Project@cs.cmu.edu
http://www.cs.cmu.edu/~fox/
|