BibTeX record conf/ifip2-1/AltenkirchM02

download as .bib file

@inproceedings{DBLP:conf/ifip2-1/AltenkirchM02,
  author       = {Thorsten Altenkirch and
                  Conor McBride},
  editor       = {Jeremy Gibbons and
                  Johan Jeuring},
  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},
  series       = {{IFIP} Conference Proceedings},
  volume       = {243},
  pages        = {1--20},
  publisher    = {Kluwer},
  year         = {2002},
  timestamp    = {Wed, 26 Feb 2003 14:25:56 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2-1/AltenkirchM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics