Normalization by evaluation with typed abstract syntax

Olivier Danvy, Morten Rhiger, Kristoffer Høgsbro Rose. Normalization by evaluation with typed abstract syntax. Journal of Functional Programming, 11(6):673-680, 2001.

Abstract

Abstract is missing.