Type Theory and Functional Programming

KOPANAS 782 days ago

Simon Thompson’s has made his book titled “Type Theory and Functional Programming” available free for download for anyone who is interested in type theory and functional programming.

0 comments so far

What Say You?

To be able to post a comment you have to create an account and log in.