BibTeX record conf/icfp/Cheney05a

download as .bib file

@inproceedings{DBLP:conf/icfp/Cheney05a,
  author    = {James Cheney},
  editor    = {Randy Pollack},
  title     = {Toward a general theory of names: binding and scope},
  booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
               Workshop on Mechanized reasoning about languages with variable binding,
               {MERLIN} 2005, Tallinn, Estonia, September 30, 2005},
  pages     = {33--40},
  publisher = {{ACM}},
  year      = {2005},
  url       = {https://doi.org/10.1145/1088454.1088459},
  doi       = {10.1145/1088454.1088459},
  timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl    = {https://dblp.org/rec/conf/icfp/Cheney05a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics