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

Be the first to leave a comment!