@inproceedings{journals/corr/abs-1202-2917,
  added-at = {2018-08-13T00:00:00.000+0200},
  author = {Bahr, Patrick and Hvitved, Tom},
  biburl = {https://www.bibsonomy.org/bibtex/2fe825a3555236bdb5617e396df7aa0e5/dblp},
  booktitle = {MSFP},
  crossref = {journals/corr/abs-1202-2407},
  editor = {Chapman, James and Levy, Paul Blain},
  ee = {http://arxiv.org/abs/1202.2917},
  interhash = {0729216f4185375f53fef73b6127dbf1},
  intrahash = {fe825a3555236bdb5617e396df7aa0e5},
  keywords = {dblp},
  pages = {3-24},
  series = {EPTCS},
  timestamp = {2018-08-14T15:29:02.000+0200},
  title = {Parametric Compositional Data Types},
  url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs76.html#abs-1202-2917},
  volume = 76,
  year = 2012
}

{"_id":"LqqBbA7KeHDHeZF5q","bibbaseid":"bahr-hvitved-parametriccompositionaldatatypes-2012","downloads":0,"creationDate":"2018-08-20T17:47:15.403Z","title":"Parametric Compositional Data Types","author_short":["Bahr, P.","Hvitved, T."],"year":2012,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/tom?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-08-13T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Bahr"],"firstnames":["Patrick"],"suffixes":[]},{"propositions":[],"lastnames":["Hvitved"],"firstnames":["Tom"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2fe825a3555236bdb5617e396df7aa0e5/dblp","booktitle":"MSFP","crossref":"journals/corr/abs-1202-2407","editor":[{"propositions":[],"lastnames":["Chapman"],"firstnames":["James"],"suffixes":[]},{"propositions":[],"lastnames":["Levy"],"firstnames":["Paul","Blain"],"suffixes":[]}],"ee":"http://arxiv.org/abs/1202.2917","interhash":"0729216f4185375f53fef73b6127dbf1","intrahash":"fe825a3555236bdb5617e396df7aa0e5","keywords":"dblp","pages":"3-24","series":"EPTCS","timestamp":"2018-08-14T15:29:02.000+0200","title":"Parametric Compositional Data Types","url":"http://dblp.uni-trier.de/db/series/eptcs/eptcs76.html#abs-1202-2917","volume":"76","year":"2012","bibtex":"@inproceedings{journals/corr/abs-1202-2917,\n added-at = {2018-08-13T00:00:00.000+0200},\n author = {Bahr, Patrick and Hvitved, Tom},\n biburl = {https://www.bibsonomy.org/bibtex/2fe825a3555236bdb5617e396df7aa0e5/dblp},\n booktitle = {MSFP},\n crossref = {journals/corr/abs-1202-2407},\n editor = {Chapman, James and Levy, Paul Blain},\n ee = {http://arxiv.org/abs/1202.2917},\n interhash = {0729216f4185375f53fef73b6127dbf1},\n intrahash = {fe825a3555236bdb5617e396df7aa0e5},\n keywords = {dblp},\n pages = {3-24},\n series = {EPTCS},\n timestamp = {2018-08-14T15:29:02.000+0200},\n title = {Parametric Compositional Data Types},\n url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs76.html#abs-1202-2917},\n volume = 76,\n year = 2012\n}\n\n","author_short":["Bahr, P.","Hvitved, T."],"editor_short":["Chapman, J.","Levy, P. B."],"key":"journals/corr/abs-1202-2917","id":"journals/corr/abs-1202-2917","bibbaseid":"bahr-hvitved-parametriccompositionaldatatypes-2012","role":"author","urls":{"Link":"http://arxiv.org/abs/1202.2917","Paper":"http://dblp.uni-trier.de/db/series/eptcs/eptcs76.html#abs-1202-2917"},"keyword":["dblp"],"downloads":0},"search_terms":["parametric","compositional","data","types","bahr","hvitved"],"keywords":["dblp"],"authorIDs":[],"dataSources":["NyBbkYhtYKHg8fY2r"]}