%0 Thesis %1 phd/ethos/Lindley05 %A Lindley, Sam %D 2005 %K dblp %T Normalisation by evaluation in the compilation of typed functional programming languages.

@phdthesis{phd/ethos/Lindley05, added-at = {2023-09-30T00:00:00.000+0200}, author = {Lindley, Sam}, biburl = {https://www.bibsonomy.org/bibtex/2d1b75668e7d4a8926f18ed62888921f3/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561893}, interhash = {d3a9c03c25bfa448bbb3a5755b99593a}, intrahash = {d1b75668e7d4a8926f18ed62888921f3}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Edinburgh, UK}, timestamp = {2024-04-09T08:44:52.000+0200}, title = {Normalisation by evaluation in the compilation of typed functional programming languages.}, year = 2005 }