Theorems for Free! Export

@inbook{citeulike:70811, abstract = {From the type of a polymorphic function we can derive a theorem that it satisfies. Every function of the same type satisfies the same theorem. This provides a free source of useful theorems, courtesy of Reynolds' abstraction theorem for the polymorphic lambda calculus. 1 Introduction Write down the definition of a polymorphic function on a piece of paper. Tell me its type, but be careful not to let me see the function's definition. I will tell you a theorem that the function satisfies. The...}, address = {New York}, author = {Wadler, Philip}, booktitle = {Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989}, citeulike-article-id = {70811}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.9875}, keywords = {language, theory}, pages = {347--359}, posted-at = {2005-04-19 07:30:36}, priority = {4}, publisher = {ACM Press}, title = {Theorems for Free!}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.9875}, year = {1989} }

TY - CHAP ID - citeulike:70811 L3 - citeulike-article-id:70811 N2 - From the type of a polymorphic function we can derive a theorem that it satisfies. Every function of the same type satisfies the same theorem. This provides a free source of useful theorems, courtesy of Reynolds' abstraction theorem for the polymorphic lambda calculus. 1 Introduction Write down the definition of a polymorphic function on a piece of paper. Tell me its type, but be careful not to let me see the function's definition. I will tell you a theorem that the function satisfies. The... AD - New York EP - 359 TI - Theorems for Free! PB - ACM Press T2 - Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 SP - 347 KW - language KW - theory AU - Wadler, Philip PY - 1989/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.9875 ER -