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/