Simon Peyton-Jones ACM Fellows (2004) ACM Fellows United Kingdom - 2004 citation For contributions to functional programming languages.