Department of Computing Science, University of Glasgow
G12 SQQ, Scotland
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.
SVM HeaderParse 0.1
FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE