I enjoyed the paper, thanks. I am now inspired to rewrite some C++ in Haskell.

Anyone have a modern example of this type of research? Opinions are welcome!