Pfenning, Elliot, 1988. Higher-order abstract syntax 23.. https://doi.org/10.1145/960116.54010