%0 Journal Article %1 journals/pacmpl/BlanchetteGPT19 %A Blanchette, Jasmin Christian %A Gheri, Lorenzo %A Popescu, Andrei %A Traytel, Dmitriy %D 2019 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 22:1-22:34 %T Bindings as bounded natural functors. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#BlanchetteGPT19 %V 3

@article{journals/pacmpl/BlanchetteGPT19, added-at = {2023-09-30T00:00:00.000+0200}, author = {Blanchette, Jasmin Christian and Gheri, Lorenzo and Popescu, Andrei and Traytel, Dmitriy}, biburl = {https://www.bibsonomy.org/bibtex/288b6244406cf36b270ca7cb0b62503a9/dblp}, ee = {https://doi.org/10.1145/3290335}, interhash = {28ad11d3e86345ea4346e9a0b23e12a9}, intrahash = {88b6244406cf36b270ca7cb0b62503a9}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {22:1-22:34}, timestamp = {2024-04-08T09:54:29.000+0200}, title = {Bindings as bounded natural functors.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#BlanchetteGPT19}, volume = 3, year = 2019 }