Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/ethos/Lindley05
%A Lindley, Sam
%D 2005
%K
%T Normalisation by evaluation in the compilation of typed functional programming languages.
@phdthesis{phd/ethos/Lindley05,
added-at = {2023-12-13T09:59:43.000+0100},
author = {Lindley, Sam},
biburl = {https://www.bibsonomy.org/bibtex/2d1b75668e7d4a8926f18ed62888921f3/admin},
ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561893},
interhash = {d3a9c03c25bfa448bbb3a5755b99593a},
intrahash = {d1b75668e7d4a8926f18ed62888921f3},
keywords = {},
note = {British Library, EThOS},
school = {University of Edinburgh, UK},
timestamp = {2023-12-13T09:59:43.000+0100},
title = {Normalisation by evaluation in the compilation of typed functional programming languages.},
year = 2005
}