Alan Mycroft. Abstract interpretation and optimising transformations for applicative programs. PhD thesis, University of Edinburgh, UK, 1982. [doi]
@phdthesis{ethos-8614,
title = {Abstract interpretation and optimising transformations for applicative programs},
author = {Alan Mycroft},
year = {1982},
url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.278868},
note = {British Library, EThOS},
researchr = {https://researchr.org/publication/ethos-8614},
cites = {0},
citedby = {0},
school = {University of Edinburgh, UK},
}