Robert William Harper
Original record- Institution
- Cornell University
- Year
- 1985
- Country
- United States
- MGP identifier
- 50068
Dissertation: Aspects of the Implementation of Type Theory
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Robert Lee ConstableUniversity of Wisconsin-Madison · 1968
Students 18
| Name | Institution | Year | Students |
|---|---|---|---|
| Umut Akgun Acar | Carnegie Mellon University | 2005 | 5 |
| Ashish Agarwal | Carnegie Mellon University | 2006 | 0 |
| Carlo Angiuli | Carnegie Mellon University | 2019 | 0 |
| Evan Cavallo | Carnegie Mellon University | 2021 | 0 |
| Perry Cheng | Carnegie Mellon University | 2001 | 0 |
| Derek Raymond Dreyer | Carnegie Mellon University | 2005 | 4 |
| Andrzej Olaf Filinski | Carnegie Mellon University | 1996 | 3 |
| Kuen-Bang Favonia Hou | Carnegie Mellon University | 2017 | 0 |
| Daniel R. Licata | Carnegie Mellon University | 2011 | 1 |
| Mark David Lillibridge | Carnegie Mellon University | 1997 | 0 |
| Gregory Morrisett | Carnegie Mellon University | 1995 | 9 |
| Tom Murphy VII | Carnegie Mellon University | 2008 | 0 |
| Leaf Petersen | Carnegie Mellon University | 2005 | 0 |
| Benjamin Crawford Pierce | Carnegie Mellon University | 1991 | 11 |
| Daniel John Spoonhower | Carnegie Mellon University | 2009 | 0 |
| Jonathan Sterling | Carnegie Mellon University | 2021 | 0 |
| Christopher Stone | Carnegie Mellon University | 2000 | 0 |
| Joseph Tassarotti | Carnegie Mellon University | 2019 | 0 |