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...