nLab Philip Wadler

Selected writings

On linear type theory:

  • Philip Wadler, Linear Types can Change the World!, Programming concepts and methods 3, North Holland (1990) [pdf]

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 April 20, 2024 at 19:03:19. See the history of this page for a list of all contributions to it.