Philip Wadler is a programmer and researcher, known for his foundational work on type theory and language design, which has influenced the development of modern type systems.
CiteGist uses essential cookies to keep you signed in. With your consent we'd also use analytics cookies to understand which pages help most. Learn more.