Danvy, O.; Rhiger, M.; Rose, K. H. Normalization by Evaluation With Typed Abstract Syntax. BRICS 2001, 8.