%0 Journal Article %1 journals/jfp/EriksenSM15 %A Eriksen, Marius %A Sperber, Michael %A Madhavapeddy, Anil %D 2015 %J J. Funct. Program. %K dblp %T CUFP'13 scribe's report. %U http://dblp.uni-trier.de/db/journals/jfp/jfp25.html#EriksenSM15 %V 25

@article{journals/jfp/EriksenSM15, added-at = {2016-01-26T00:00:00.000+0100}, author = {Eriksen, Marius and Sperber, Michael and Madhavapeddy, Anil}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ff122ab355508d2b052e2615fc5246a1/dblp}, ee = {http://dx.doi.org/10.1017/S0956796815000052}, interhash = {fd8677e60ed9f16e946a4601d00a008a}, intrahash = {ff122ab355508d2b052e2615fc5246a1}, journal = {J. Funct. Program.}, keywords = {dblp}, timestamp = {2016-02-02T04:26:45.000+0100}, title = {CUFP'13 scribe's report.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp25.html#EriksenSM15}, volume = 25, year = 2015 }