S. J. Ambler, Roy L. Crole, Alberto Momigliano. A definitional approach to primitivexs recursion over higher order abstract syntax. In Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003. ACM, 2003. [doi]
@inproceedings{AmblerCM03,
title = {A definitional approach to primitivexs recursion over higher order abstract syntax},
author = {S. J. Ambler and Roy L. Crole and Alberto Momigliano},
year = {2003},
doi = {10.1145/976571.976572},
url = {http://doi.acm.org/10.1145/976571.976572},
tags = {syntax definition, abstract syntax, systematic-approach},
researchr = {https://researchr.org/publication/AmblerCM03},
cites = {0},
citedby = {0},
booktitle = {Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003},
publisher = {ACM},
}