BibTeX record: conf/ifip2-1/AltenkirchM02

download as .bib file

@inproceedings{DBLP:conf/ifip2-1/AltenkirchM02,
  author    = {Thorsten Altenkirch and
               Conor McBride},
  title     = {Generic Programming within Dependently Typed Programming},
  booktitle = {Generic Programming, {IFIP} {TC2/WG2.1} Working Conference on Generic
               Programming, July 11-12, 2002, Dagstuhl, Germany},
  year      = {2002},
  pages     = {1--20},
  crossref  = {DBLP:conf/ifip2-1/2002},
  timestamp = {Thu, 02 Oct 2014 15:09:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifip2-1/AltenkirchM02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifip2-1/2002,
  editor    = {Jeremy Gibbons and
               Johan Jeuring},
  title     = {Generic Programming, {IFIP} {TC2/WG2.1} Working Conference on Generic
               Programming, July 11-12, 2002, Dagstuhl, Germany},
  series    = {{IFIP} Conference Proceedings},
  year      = {2003},
  volume    = {243},
  publisher = {Kluwer},
  isbn      = {1-4020-7374-7},
  timestamp = {Thu, 02 Oct 2014 15:09:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifip2-1/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}