BibTeX record conf/icfp/Sheard01

download as .bib file

@inproceedings{DBLP:conf/icfp/Sheard01,
  author    = {Tim Sheard},
  title     = {Generic Unification via Two-Level Types and Parameterized Modules},
  booktitle = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
               on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
               September 3-5, 2001.},
  pages     = {86--97},
  year      = {2001},
  crossref  = {DBLP:conf/icfp/2001},
  url       = {http://doi.acm.org/10.1145/507635.507648},
  doi       = {10.1145/507635.507648},
  timestamp = {Tue, 11 Jun 2013 13:50:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfp/Sheard01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfp/2001,
  editor    = {Benjamin C. Pierce},
  title     = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
               on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
               September 3-5, 2001},
  publisher = {{ACM}},
  year      = {2001},
  isbn      = {1-58113-415-0},
  timestamp = {Tue, 11 Jun 2013 13:50:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfp/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}