%0 Conference Paper %1 conf/tlca/AbbottAGM03 %A Abbott, Michael Gordon %A Altenkirch, Thorsten %A Ghani, Neil %A McBride, Conor %B TLCA %D 2003 %E Hofmann, Martin %I Springer %K dblp %P 16-30 %T Derivatives of Containers. %U http://dblp.uni-trier.de/db/conf/tlca/tlca2003.html#AbbottAGM03 %V 2701 %@ 3-540-40332-9

@inproceedings{conf/tlca/AbbottAGM03, added-at = {2016-09-16T00:00:00.000+0200}, author = {Abbott, Michael Gordon and Altenkirch, Thorsten and Ghani, Neil and McBride, Conor}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23c96e04423b0cb9207ee6381dc11a185/dblp}, booktitle = {TLCA}, crossref = {conf/tlca/2003}, editor = {Hofmann, Martin}, ee = {http://dx.doi.org/10.1007/3-540-44904-3_2}, interhash = {cd98e5cdfcd53c1f3844859cc03b806d}, intrahash = {3c96e04423b0cb9207ee6381dc11a185}, isbn = {3-540-40332-9}, keywords = {dblp}, pages = {16-30}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2016-09-17T09:35:23.000+0200}, title = {Derivatives of Containers.}, url = {http://dblp.uni-trier.de/db/conf/tlca/tlca2003.html#AbbottAGM03}, volume = 2701, year = 2003 }