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 = {{ICFP}},
  pages     = {217--228},
  publisher = {{ACM}},
  year      = {2010}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics