A compiled implementation of normalisation by evaluation.

Saved in:

Bibliographic Details
Title:	A compiled implementation of normalisation by evaluation.
Authors:	AEHLIG, KLAUS¹, HAFTMANN, FLORIAN², NIPKOW, TOBIAS²
Source:	Journal of Functional Programming. Jan2012, Vol. 22 Issue 1, p9-30. 22p.
Database:	Mathematics Source

Description
ISSN:	09567968
DOI:	10.1017/S0956796812000019