nLab Philip Wadler

Selected writings

On monads in computer science:

Introducing the IO-monad (then adopted in Haskell):

On syntax and categorical semantics of linear logic with an exponential modality:

  • Philip Wadler, A syntax for linear logic, in: Ninth International Coference on the Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science 802 Springer (1993) [doi:10.1007/3-540-58027-1_24]

On the history of the development of the Haskell programming language:

On propositions as types:

category: people

Last revised on August 26, 2023 at 22:14:44. See the history of this page for a list of all contributions to it.