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.