Holiday reading

I have a few flights and trips over the Christmas week, so I thought I'd compile some reading material for those spare hours. If you're looking for some light ;) reading I thought you might be interested also:

• Gödel, Nagel, minds and machines
• Engineering Software Correctness
• User-Level Transactional Programming in Haskell
• Expression and Loop Libraries for High-Performance Code Synthesis
• It's Time to Stop Calling Circuits "Hardware"