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