> As far as I know, none of the works of Peyton-Jones fit into that category. This is incorrect. Looking at his list publications [1], a good deal of his publi

> As far as I know, none of the works of Peyton-Jones fit into that category. This is incorrect. Looking at his list publications [1], a good deal of his publications are about programming language theory and a lot fewer are about practical implementations. Some of the theory papers are quite Haskell-centric (or use Haskell as an example language) but others are more general. [1] http://research.microsoft.com/en-us/um/people/simonpj/papers/papers.html http://research.microsoft.com/en-us/um/people/simonpj/papers...