John Hannan
Original record- Institution
- University of Pennsylvania
- Year
- 1990
- Country
- United States
- MGP identifier
- 60894
Dissertation: Proof-Theoretic Methods for Analysis of Functional Programs
Advisor 1
- Dale Allen MillerCarnegie Mellon University · 1983
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Joseph Adam Fischbach | The Pennsylvania State University | 2005 | 0 |
| David King | The Pennsylvania State University | 2009 | 0 |
| Alwen Fernanto Tiu | The Pennsylvania State University | 2004 | 0 |