Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Functional Algorithms, Verified. Parent comment
I think these two are excellent books, SF : Logical Foundations for the basics, SF: Verified Functional Algorithms.
Unfortunately there is no royal road in type theory. This subject is incredibly demanding yet satisfying.
Software foundations are excellent books to read even if you aren't interested in verification/program proof.
There are no comments on this comment yet.
I think these two are excellent books, SF : Logical Foundations for the basics, SF: Verified Functional Algorithms.
Unfortunately there is no royal road in type theory. This subject is incredibly demanding yet satisfying.
Software foundations are excellent books to read even if you aren't interested in verification/program proof.