BibTeX record conf/icfp/PouillardP10

download as .bib file

@inproceedings{DBLP:conf/icfp/PouillardP10,
  author    = {Nicolas Pouillard and
               Fran{\c{c}}ois Pottier},
  title     = {A fresh look at programming with names and binders},
  booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
               27-29, 2010},
  pages     = {217--228},
  year      = {2010},
  crossref  = {DBLP:conf/icfp/2010},
  url       = {https://doi.org/10.1145/1863543.1863575},
  doi       = {10.1145/1863543.1863575},
  timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
  biburl    = {https://dblp.org/rec/conf/icfp/PouillardP10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2010,
  editor    = {Paul Hudak and
               Stephanie Weirich},
  title     = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
               27-29, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1863543},
  doi       = {10.1145/1863543},
  isbn      = {978-1-60558-794-3},
  timestamp = {Sat, 23 Oct 2021 09:14:31 +0200},
  biburl    = {https://dblp.org/rec/conf/icfp/2010.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics