nLab functional programming





Functional programming languages


Textbook accounts:

and with emphasis on the relation to type theory:

Exposition of the categorical semantics of functional programming (such as via monads in computer science):

See also:

  • Wikipedia, Functional programming

  • John Backus, Can programming be liberated from the von Neumann style? A functional style and its algebra of programs, Communications of the ACM Volume 21 Number 8, 1978 (pdf)

  • G. Cousineau, P.-L. Curien, M. Mauny, The Categorical Abstract Machine, Science of Computer Programming 8, 1987 (pdf)

  • Erik Meijer, Maarten Fokkinga, Ross Paterson, Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire, 1991 (doi:

  • Eugenio Moggi, Notions of computations and monads, 1991 (pdf)

  • David R. Cok, Reasoning about functional programming in Java and C++, ISSTA ‘18: Companion Proceedings for the ISSTA/ECOOP 2018 WorkshopsJuly 2018 Pages 37–39 (doi:10.1145/3236454.3236483)

    (building functional programming into imperative programming languages)

Discussion of aspects of quantum computing in terms of monads in functional programming are in

Last revised on September 27, 2023 at 10:20:33. See the history of this page for a list of all contributions to it.