4 ms·
Check out http://adam.chlipala.net/cpdt/ http://adam.chlipala.net/cpdt/
by nmrm2 11y ago
Check out http://adam.chlipala.net/cpdt/ http://adam.chlipala.net/cpdt/
- thinkpad20 11y agoAlso (and IMO this one is a little more well-structured) the Software Foundations course[0]. Especially when supplemented by Pierce's excellent lectures, available on youtube. [0]: http://www.cis.upenn.edu/~bcpierce/sf/current/index.html http://www.cis.upenn.edu/~bcpierce/sf/current/index.html