why type systems are interesting (in 3 parts)
articles/discussion from LtU
1)
http://lambda-the-ultimate.org/node/view/100
http://lambda-the-ultimate.org/node/view/175
http://lambda-the-ultimate.org/node/view/220
1)
http://lambda-the-ultimate.org/node/view/100