%0 Generic %1 citeulike:13852538 %A Wadler, Philip %D 1989 %K haskell %T Theorems for free! %U http://ttic.uchicago.edu/\~dreyer/course/papers/wadler.pdf

@misc{citeulike:13852538, added-at = {2019-06-18T20:47:03.000+0200}, author = {Wadler, Philip}, biburl = {https://www.bibsonomy.org/bibtex/2e1dfb21511909f6ad278d365de45749c/alexv}, citeulike-article-id = {13852538}, citeulike-linkout-0 = {http://ttic.uchicago.edu/\~{}dreyer/course/papers/wadler.pdf}, interhash = {ef1ddbea9fe7bb252540cfb641ddd14f}, intrahash = {e1dfb21511909f6ad278d365de45749c}, keywords = {haskell}, month = jun, posted-at = {2015-12-02 18:51:15}, priority = {2}, timestamp = {2019-06-18T20:47:03.000+0200}, title = {{Theorems for free!}}, url = {http://ttic.uchicago.edu/\~{}dreyer/course/papers/wadler.pdf}, year = 1989 }