On Tue, May 27, 2014 at 11:31 AM, Simon Peyton Jones <simonpj@microsoft.com> wrote:

are these all on Austin’s list, which he sent a pointer to?

Yes, they were in the last section of the page he linked to.