This ComputerWorld (Australia) article, although about OSes, mentions Haskell favourably: http://www.computerworld.com.au/index.php?id=710118083 Technical detail on how Haskell helps to improve OS security is in a recent paper: http://www.cse.unsw.edu.au/~chak/papers/DEKC+06.html Manuel