[carlosgg]

The author of the 3rd book in the list, Peter Van Roy, teaches a course on edX. :) The course is archived but I think people can access all the videos and notes.

http://www.edx.org/course/paradigms-computer-programming-lou...

http://www.edx.org/course/paradigms-computer-programming-lou...