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 = {Mon, 31 Mar 4433636 08:30:24 +ramming,},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfp/2003merlin},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}