%0 Conference Paper %1 conf/dls/GuhaMFK07 %A Guha, Arjun %A Matthews, Jacob %A Findler, Robert Bruce %A Krishnamurthi, Shriram %B DLS %D 2007 %E Costanza, Pascal %E Hirschfeld, Robert %I ACM %K dblp %P 29-40 %T Relationally-parametric polymorphic contracts. %U http://dblp.uni-trier.de/db/conf/dls/dls2007.html#GuhaMFK07 %@ 978-1-59593-868-8

@inproceedings{conf/dls/GuhaMFK07, added-at = {2023-08-06T00:00:00.000+0200}, author = {Guha, Arjun and Matthews, Jacob and Findler, Robert Bruce and Krishnamurthi, Shriram}, biburl = {https://www.bibsonomy.org/bibtex/218d946e4405b4c76720dd52dc7a46737/dblp}, booktitle = {DLS}, crossref = {conf/dls/2007}, editor = {Costanza, Pascal and Hirschfeld, Robert}, ee = {https://doi.org/10.1145/1297081.1297089}, interhash = {64379a904c83c7d87bf9847999294d68}, intrahash = {18d946e4405b4c76720dd52dc7a46737}, isbn = {978-1-59593-868-8}, keywords = {dblp}, pages = {29-40}, publisher = {ACM}, timestamp = {2024-04-10T11:19:36.000+0200}, title = {Relationally-parametric polymorphic contracts.}, url = {http://dblp.uni-trier.de/db/conf/dls/dls2007.html#GuhaMFK07}, year = 2007 }