Geoffrey Washburn, Stephanie Weirich. Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism. Journal of Functional Programming, 18(1):87-140, 2008. [doi]
@article{WashburnW08,
title = {Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism},
author = {Geoffrey Washburn and Stephanie Weirich},
year = {2008},
doi = {10.1017/S0956796807006557},
url = {http://dx.doi.org/10.1017/S0956796807006557},
tags = {HOAS, System F, abstract syntax, variable binding},
researchr = {https://researchr.org/publication/WashburnW08},
cites = {0},
citedby = {0},
journal = {Journal of Functional Programming},
volume = {18},
number = {1},
pages = {87-140},
}