A compiled implementation of normalisation by evaluation. - AEHLIG, KLAUS; HAFTMANN, FLORIAN; NIPKOW, TOBIAS (Journal of Functional Programming, 2012)