@inproceedings{DBLP:conf/ifip2-1/AltenkirchM02,
  author    = {Thorsten Altenkirch and
               Conor McBride},
  title     = {Generic Programming within Dependently Typed Programming},
  booktitle = {Generic Programming},
  year      = {2002},
  pages     = {1-20},
  crossref  = {DBLP:conf/ifip2-1/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@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},
  booktitle = {Generic Programming},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {243},
  year      = {2003},
  isbn      = {1-4020-7374-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}