Some excellent reading, a collection of blog posts and papers I've found interesting:
- Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire - Erik Meijer, Maarten Fokkinga, Ross Paterson
- What is Hindley-Milner, and why is it Cool? - Daniel Spiewak
- A position paper on Software Reliability - Edsger W. Dijkstra