@inproceedings{inproceedings, title  = {{Recursion principles for syntax with bindings and substitution}},

 publisher = {{ACM}},

 url = {{http://dx.doi.org/10.1145/2034773.2034819 }},

 year = {{2011}},

 month = {{9}},

 author = {{Popescu A and Gunter EL}},

 doi = {{10.1145/2034773.2034819}},

 journal = {{Proceedings of the 16th ACM SIGPLAN international conference on Functional programming}},

 note = {{Accessed on 2024/12/23}}}