Hongwei Xi
Original record- Institution
- Carnegie Mellon University
- Year
- 1998
- Country
- United States
- MGP identifier
- 40481
Dissertation: Dependent Types in Practical Programming
Advisor 1
- Frank PfenningCarnegie Mellon University · 1987
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Chiyan Chen | Boston University | 2005 | 0 |
| Rui Shi | Boston University | 2007 | 0 |
| Dengping Zhu | Boston University | 2006 | 0 |