Alan Mycroft
Original record- Institution
- The University of Edinburgh
- Year
- 1982
- Country
- United Kingdom
- MGP identifier
- 104629
Dissertation: Abstract Interpretation and Optimising Transformations for Applicative Programs
Advisors 2
- Rodney Martineau BurstallUniversity of Birmingham · 1966
- Robin MilnerInstitution not recorded
Students 13
| Name | Institution | Year | Students |
|---|---|---|---|
| Gavin Mark Bierman | University of Cambridge | 1994 | 3 |
| Max Bolingbroke | University of Cambridge | 2013 | 0 |
| Andrej Ivaskovic | University of Cambridge | 2022 | 0 |
| Andrew John Kennedy | University of Cambridge | 1996 | 0 |
| Anton Lokhmotov | Not recorded | — | 0 |
| Dylan Oliver McDermott | University of Cambridge | 2020 | 0 |
| Dominic Orchard | University of Cambridge | 2013 | 1 |
| Tomas Petricek | Not recorded | — | 0 |
| Raphaël L. Proust | University of Cambridge | 2017 | 0 |
| Sriram Srinivasan | University of Cambridge | 2010 | 0 |
| Raoul-Gabriel Urma | Not recorded | — | 0 |
| Viktor Vafeiadis | University of Cambridge | 2007 | 3 |
| Janina Voigt | University of Cambridge | 2016 | 0 |