BibTeX record journals/corr/abs-1202-2917

download as .bib file

@inproceedings{DBLP:journals/corr/abs-1202-2917,
  author    = {Patrick Bahr and
               Tom Hvitved},
  editor    = {James Chapman and
               Paul Blain Levy},
  title     = {Parametric Compositional Data Types},
  booktitle = {Proceedings Fourth Workshop on Mathematically Structured Functional
               Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012},
  series    = {{EPTCS}},
  volume    = {76},
  pages     = {3--24},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.76.3},
  doi       = {10.4204/EPTCS.76.3},
  timestamp = {Fri, 27 Dec 2019 21:15:10 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1202-2917.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics