==== why type systems are interesting (in 3 parts) ====

articles/discussion from LtU ((http://lambda-the-ultimate.org/node/view/100))
  * http://lambda-the-ultimate.org/node/view/100
  * http://lambda-the-ultimate.org/node/view/175
  * http://lambda-the-ultimate.org/node/view/220