|
Type Theory and Functional Programming. Simon Thompson.
ISBN 0-201-41667-0, Addison-Wesley. 1991.
This is now out of print. I had hoped to prepare a revised version before making it available online, but sadly this hasn't happened. So, you can get the original version, warts and all, from this page.
Another great resource. Includes several nice case studies, as well as the essential mathematical foundations.
Posted to theory by Ehud Lamm on 9/2/02; 12:08:47 PM
|
|
Type Theory and Functional Programming
