http://www.nobugs.org/blog/archives/2009/08/23/learning-to-program-again/ Thoughts of a software engineer Fri, 12 Mar 2010 14:56:25 +0000 http://wordpress.org/?v=2.8.4 hourly 1 http://www.nobugs.org/blog/archives/2009/08/23/learning-to-program-again/comment-page-1/#comment-57670 Anonymous Mon, 24 Aug 2009 08:01:28 +0000 http://www.nobugs.org/blog/?p=287#comment-57670 I expect you've looked at them already, but I've found <a href="http://www.seas.upenn.edu/~cis500/cis500-s09/index.html" rel="nofollow">Benjamin Pierce's course materials</a> very helpful, starting from a similar perspective (reasonably competent at functional programming, a little shakier at proving theorems). I expect you’ve looked at them already, but I’ve found Benjamin Pierce’s course materials very helpful, starting from a similar perspective (reasonably competent at functional programming, a little shakier at proving theorems).

]]> http://www.nobugs.org/blog/archives/2009/08/23/learning-to-program-again/comment-page-1/#comment-57667 Michael Mol Mon, 24 Aug 2009 05:42:26 +0000 http://www.nobugs.org/blog/?p=287#comment-57667 Perhaps you could <a href="http://rosettacode.org/wiki/Tasks_not_implemented_in_Coq" rel="nofollow">give us some assistance</a><a>, then. :)</a> Perhaps you could give us some assistance, then.

]]>