Source: wikibot/philip-wadler

= Philip Wadler
{wiki=Philip_Wadler}

Philip Wadler is a prominent computer scientist known for his work in programming languages, type systems, and functional programming. He has made significant contributions to the theory and practice of programming languages, including the development of the functional programming language Haskell. Wadler is also known for his work on type safety, monads, and the evaluation of programming languages. His research often focuses on how to implement and optimize programming languages effectively while maintaining strong type systems.