%0 Conference Paper %1 journals/corr/abs-1202-2917 %A Bahr, Patrick %A Hvitved, Tom %B MSFP %D 2012 %E Chapman, James %E Levy, Paul Blain %K %P 3-24 %T Parametric Compositional Data Types %U http://dblp.uni-trier.de/db/series/eptcs/eptcs76.html#abs-1202-2917 %V 76

@inproceedings{journals/corr/abs-1202-2917, added-at = {2020-03-20T09:50:04.000+0100}, author = {Bahr, Patrick and Hvitved, Tom}, biburl = {https://www.bibsonomy.org/bibtex/2fe825a3555236bdb5617e396df7aa0e5/remid}, booktitle = {MSFP}, crossref = {journals/corr/abs-1202-2407}, editor = {Chapman, James and Levy, Paul Blain}, ee = {https://www.wikidata.org/entity/Q58061618}, interhash = {0729216f4185375f53fef73b6127dbf1}, intrahash = {fe825a3555236bdb5617e396df7aa0e5}, keywords = {}, pages = {3-24}, series = {EPTCS}, timestamp = {2020-03-20T09:50:04.000+0100}, title = {Parametric Compositional Data Types}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs76.html#abs-1202-2917}, volume = 76, year = 2012 }