- Home
- People
- Contact Info
- Academic Programs
- For Off-Campus Students
- Goals, Innovations, Results
- Class Schedule
- Clinic
- Colloquium
- Research
- Resources
- Student Awards
- Events
- Clubs
- Life After Mudd
Publications by Faculty and Students
Christopher Stone: 2006
- Stone, Christopher A. and Robert Harper Extensional Equivalence and Singleton Types, ACM Transactions in Computational Logic #7(4)