%0 Conference Paper %1 99404 %A Wadler, Philip %B FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture %C New York, NY, USA %D 1989 %I ACM %K functional programming %P 347--359 %R http://doi.acm.org/10.1145/99370.99404 %T Theorems for free! %U http://portal.acm.org/citation.cfm?id=99404&coll=portal&dl=ACM %@ 0-89791-328-0

@inproceedings{99404, added-at = {2008-03-14T14:02:47.000+0100}, address = {New York, NY, USA}, author = {Wadler, Philip}, biburl = {https://www.bibsonomy.org/bibtex/2542abc69cff9e91ba42719e195208ca9/brightbyte}, booktitle = {FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture}, doi = {http://doi.acm.org/10.1145/99370.99404}, interhash = {ef1ddbea9fe7bb252540cfb641ddd14f}, intrahash = {542abc69cff9e91ba42719e195208ca9}, isbn = {0-89791-328-0}, keywords = {functional programming}, location = {Imperial College, London, United Kingdom}, pages = {347--359}, publisher = {ACM}, timestamp = {2009-01-23T09:58:50.000+0100}, title = {Theorems for free!}, url = {http://portal.acm.org/citation.cfm?id=99404&coll=portal&dl=ACM}, year = 1989 }