4 ms·

Those are papers on the theory of programming languages, not implementation. As far as I know, none of the works of Peyton-Jones fit into that category.

• exDM69 13y ago
  > 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...