Sam Lindley. Normalisation by evaluation in the compilation of typed functional programming languages. PhD thesis, University of Edinburgh, UK, 2005. [doi]
@phdthesis{ethos-5423,
title = {Normalisation by evaluation in the compilation of typed functional programming languages},
author = {Sam Lindley},
year = {2005},
url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561893},
note = {British Library, EThOS},
researchr = {https://researchr.org/publication/ethos-5423},
cites = {0},
citedby = {0},
school = {University of Edinburgh, UK},
}