Philip Wadler

Philip Lee Wadler (born April 8, 1956) is a UK-based American computer scientist known for his contributions to programming language design and type theory.

",[4] a paper that gave rise to much research on functional language optimization (see also Parametricity).

[22] Since 2018 Wadler has also been a senior research fellow and area leader for programming languages at IOHK (now Input Output Global), the blockchain engineering company developing Cardano.

[24][25] In 2003, Wadler was given the award for the most influential paper from ten years earlier by the Symposium on Principles of Programming Languages.

The award cited "Imperative functional programming", a paper written jointly with Simon Peyton Jones in 1993.