Olivier Danvy, Morten Rhiger, Kristoffer Høgsbro Rose. Normalization by evaluation with typed abstract syntax. Journal of Functional Programming, 11(6):673-680, 2001.
@article{DanvyRR01,
title = {Normalization by evaluation with typed abstract syntax},
author = {Olivier Danvy and Morten Rhiger and Kristoffer Høgsbro Rose},
year = {2001},
tags = {abstract syntax},
researchr = {https://researchr.org/publication/DanvyRR01},
cites = {0},
citedby = {0},
journal = {Journal of Functional Programming},
volume = {11},
number = {6},
pages = {673-680},
}