[anfelor]

This should have an (2011) in the title.

luu, could you say a few words on what you found interesting about this thesis? The first chapter sounds impressive, but later it only seems to be defining a monad around typical operating system tasks. That means you still have to deal with GC, and I would not call that approach "well integrated with purely functional programming", as it essentially defines an imperative DSL. But I have only looked at this briefly and I would appreciate deeper insight.