Benjamin Crawford Pierce
Original record- Institution
- Carnegie Mellon University
- Year
- 1991
- Country
- United States
- MGP identifier
- 50223
Dissertation: Programming with Intersection Types and Bounded Polymorphism
Mathematics Subject Classification: 68—Computer science
Advisors 2
- John C. ReynoldsHarvard University · 1961
- Robert William HarperCornell University · 1985
Students 11
| Name | Institution | Year | Students |
|---|---|---|---|
| Arthur Azevedo de Amorim | University of Pennsylvania | 2017 | 0 |
| John Nathan Foster | University of Pennsylvania | 2009 | 1 |
| Vladimir Gapeyev | University of Pennsylvania | 2006 | 0 |
| Harrison Goldstein | University of Pennsylvania | 2024 | 0 |
| Michael Greenberg | University of Pennsylvania | 2013 | 0 |
| Justin Hsu | University of Pennsylvania | 2017 | 0 |
| Leonidas Lampropoulos | University of Pennsylvania | 2018 | 0 |
| Michael Y. Levin | University of Pennsylvania | 2005 | 0 |
| Yishuai Li | University of Pennsylvania | 2022 | 0 |
| Uwe Nestmann | Not recorded | — | 8 |
| Hengchu Zhang | University of Pennsylvania | 2021 | 0 |