Are you feeling clever?

A course on the mathematics behind software programming by Benjamin C Pierce, its times like these I wish I could actually jack this information into my brain Matrix stylee.

http://www.cis.upenn.edu/~bcpierce/sf/