4 ms·
For learning this sort of thing I always recommend Pierce's Software Foundations [0] and Chlipala's Certified Programming with Dependent Types [1] which are bot
by tel 12y ago
For learning this sort of thing I always recommend Pierce's Software Foundations [0] and Chlipala's Certified Programming with Dependent Types [1] which are both available online for free, but I'm also reading through Coq d'Art as well and like it a lot... unfortunately it's harder to find.
[0] http://www.cis.upenn.edu/~bcpierce/sf/current/index.html
[1] http://adam.chlipala.net/cpdt/
- thinkpad20 12y agoSeconded! I've been working my way through both of those for a while. For those who like watching lectures (as I do), I would also recommend Pierce's lectures on the same material as Software Foundations, Harper's lectures on type theory, and the other associated lecture serieses, all coming from a session of the Oregon Programming Languages Summer School, and available on youtube. Unfortunately there are some gaps in the software foundations lectures, but considering that it's a complement to an already detailed set of literature, it's not a major issue. Also unfortunately, the quality of the audio and video aren't always the greatest. But, beggars can't be choosers! It's still great material.
- kaeluka 12y agoI'd recommend GOING to the Oregon Programming Languages Summer School. It's amazing.
- thinkpad20 12y agoI plan/hope to next summer. I only found out about it a few months ago.