Learning

I'm in vacation for several weeks now, but that does not mean I'm taking a break from learning. Here is what I currently learn or plan to learn in the very near future:

• More Semantics
  
• Haskell
• Category Theory
• Program Analysis
• Model Checking