Jan Hoffmann
Original record- Institution
- Ludwig-Maximilians-Universität München
- Year
- 2011
- Country
- Germany
- MGP identifier
- 186988
Dissertation: Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis
Advisor 1
- Martin HofmannThe University of Edinburgh · 1995
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Quentin Carbonneaux | Yale University | 2018 | 0 |
| David Michael Kahn | Carnegie Mellon University | 2024 | 0 |