@article{DBLP:journals/pacmpl/BlanchetteGPT19,
  author    = {Jasmin Christian Blanchette and
               Lorenzo Gheri and
               Andrei Popescu and
               Dmitriy Traytel},
  title     = {Bindings as bounded natural functors},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {3},
  number    = {{POPL}},
  pages     = {22:1--22:34},
  year      = {2019},
  url       = {https://doi.org/10.1145/3290335},
  doi       = {10.1145/3290335},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/BlanchetteGPT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"yZzcGsec769vcNYuG","bibbaseid":"blanchette-gheri-popescu-traytel-bindingsasboundednaturalfunctors-2019","author_short":["Blanchette, J. C.","Gheri, L.","Popescu, A.","Traytel, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Jasmin","Christian"],"propositions":[],"lastnames":["Blanchette"],"suffixes":[]},{"firstnames":["Lorenzo"],"propositions":[],"lastnames":["Gheri"],"suffixes":[]},{"firstnames":["Andrei"],"propositions":[],"lastnames":["Popescu"],"suffixes":[]},{"firstnames":["Dmitriy"],"propositions":[],"lastnames":["Traytel"],"suffixes":[]}],"title":"Bindings as bounded natural functors","journal":"Proc. ACM Program. Lang.","volume":"3","number":"POPL","pages":"22:1–22:34","year":"2019","url":"https://doi.org/10.1145/3290335","doi":"10.1145/3290335","timestamp":"Wed, 17 Feb 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/pacmpl/BlanchetteGPT19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/pacmpl/BlanchetteGPT19,\n author = {Jasmin Christian Blanchette and\n Lorenzo Gheri and\n Andrei Popescu and\n Dmitriy Traytel},\n title = {Bindings as bounded natural functors},\n journal = {Proc. {ACM} Program. Lang.},\n volume = {3},\n number = {{POPL}},\n pages = {22:1--22:34},\n year = {2019},\n url = {https://doi.org/10.1145/3290335},\n doi = {10.1145/3290335},\n timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/pacmpl/BlanchetteGPT19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Blanchette, J. C.","Gheri, L.","Popescu, A.","Traytel, D."],"key":"DBLP:journals/pacmpl/BlanchetteGPT19","id":"DBLP:journals/pacmpl/BlanchetteGPT19","bibbaseid":"blanchette-gheri-popescu-traytel-bindingsasboundednaturalfunctors-2019","role":"author","urls":{"Paper":"https://doi.org/10.1145/3290335"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/95/10567.bib","dataSources":["kgH2yTFtfgstdBGrT"],"keywords":[],"search_terms":["bindings","bounded","natural","functors","blanchette","gheri","popescu","traytel"],"title":"Bindings as bounded natural functors","year":2019}