@article{article, title = {{Bindings as bounded natural functors}}, publisher = {{Association for Computing Machinery (ACM)}}, url = {{http://eprints.whiterose.ac.uk/161205/ }}, year = {{2019}}, month = {{1}}, author = {{Blanchette JC and Gheri L and Popescu A and Traytel D}}, doi = {{10.1145/3290335}}, volume = {{3}}, journal = {{Proceedings of the ACM on Programming Languages}}, issue = {{POPL}}, note = {{Accessed on 2025/04/10}}}