BibTeX record conf/popl/Hanus97

download as .bib file

@inproceedings{DBLP:conf/popl/Hanus97,
  author    = {Michael Hanus},
  title     = {A Unified Computation Model for Functional and Logic Programming},
  booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Papers Presented at the Symposium,
               Paris, France, 15-17 January 1997},
  pages     = {80--93},
  year      = {1997},
  crossref  = {DBLP:conf/popl/1997},
  url       = {http://doi.acm.org/10.1145/263699.263710},
  doi       = {10.1145/263699.263710},
  timestamp = {Mon, 10 Dec 2012 15:26:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/popl/Hanus97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/1997,
  editor    = {Peter Lee and
               Fritz Henglein and
               Neil D. Jones},
  title     = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Papers Presented at the Symposium,
               Paris, France, 15-17 January 1997},
  publisher = {{ACM} Press},
  year      = {1997},
  url       = {http://dl.acm.org/citation.cfm?id=263699},
  isbn      = {0-89791-853-3},
  timestamp = {Mon, 10 Dec 2012 15:26:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/popl/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}