The Fox Project at Carnegie Mellon
Advanced Programming Languages for Systems
Software
•
Karl Crary
•
Robert Harper
•
Peter Lee
•
Frank Pfenning
•
Many former and current students...