BibTeX record: conf/icfp/2003merlin

download as .bib file

@proceedings{DBLP:conf/icfp/2003merlin,
  title     = {Eighth {ACM} {SIGPLAN} International Conference on Functional Programming,
               Workshop on Mechanized reasoning about languages with variable binding,
               {MERLIN} 2003, Uppsala, Sweden, August 2003},
  publisher = {{ACM}},
  year      = {2003},
  timestamp = {Wed, 21 Apr 2004 14:02:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfp/2003merlin},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}