nLab Philip Wadler

• webpage

Selected writings

On monads in computer science:

• Philip Wadler, Comprehending Monads, in Conference on Lisp and functional programming, ACM Press, 1990 (pdf)

• Philip Wadler, Monads for functional programming, in M. Broy (eds.) Program Design Calculi NATO ASI Series, 118 Springer (1992) [doi;10.1007/978-3-662-02880-3_8, pdf]

On propositions as types:

• Philip Wadler, Propositions as Types, Communications of the ACM 58 12 (2015) 75–84 [doi:10.1145/2699407, pdf, video]

Related entries

• monad (in computer science)

• adjoint logic

category: people