Robert William Harper, Jr.

MathSciNet


Ph.D. Cornell University 1985 UnitedStates
Dissertation: Aspects of the Implementation of Type Theory
Mathematics Subject Classification: 68—Computer science

Advisor: Robert Lee Constable

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Acar, UmutCarnegie Mellon University20053
Agarwal, AshishCarnegie Mellon University2006
Cheng, PerryCarnegie Mellon University2001
Dreyer, DerekCarnegie Mellon University20051
Filinski, AndrzejCarnegie Mellon University19963
Licata, DanielCarnegie Mellon University2011
Lillibridge, MarkCarnegie Mellon University1997
Morrisett, GregoryCarnegie Mellon University199522
Murphy VII, TomCarnegie Mellon University2008
Peterson, LeafCarnegie Mellon University2005
Pierce, BenjaminCarnegie Mellon University199116
Stone, ChristopherCarnegie Mellon University2000

According to our current on-line database, Robert Harper, Jr. has 12 students and 57 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 50068 for the advisor ID.