Type Theory and Functional Programming
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.
Type Theory and Functional Programming
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.
No comments:
Post a Comment