title: Intense study of type systems and type theory
body: <p>I want to understand the actual theory behind types rather than just learning about the latest practical change made in some existing language (e.g., not just how Haskell or Scala's type system works).</p>
  
  <p>What is the best way to pick up this background?</p>