@dblp

Normalisation by evaluation in the compilation of typed functional programming languages.

. University of Edinburgh, UK, (2005)British Library, EThOS.

Links and resources

BibTeX key:
phd/ethos/Lindley05
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication