Functional programming (English Wikipedia)

Hudak, Paul; Hughes, J.; Jones, S. P.; Wadler, P. (June 2007). A history of Haskell: being lazy with class. Third ACM SIGPLAN Conference on History of Programming Languages. San Diego, California. doi:10.1145/1238844.1238856. Retrieved 2013-09-26.

activemode.org

Wakeling, David (2007). "Spreadsheet functional programming" (PDF). Journal of Functional Programming. 17 (1): 131–143. doi:10.1017/S0956796806006186. ISSN 0956-7968. S2CID 29429059.

adelphi.edu

home.adelphi.edu

"Why Scheme for Introductory Programming?". home.adelphi.edu. Retrieved 2024-04-29.

archive.org

Haskell Brooks Curry; Robert Feys (1958). Combinatory Logic. North-Holland Publishing Company. Retrieved 10 February 2013.
Bloch, Joshua (2008). "Item 15: Minimize Mutability". Effective Java (Second ed.). Addison-Wesley. ISBN 978-0321356680.

arstechnica.com

Peter Bright (March 13, 2018). "Developers love trendy new languages but earn more with functional programming". Ars Technica.

books.google.com

Paulson, Larry C. (28 June 1996). ML for the Working Programmer. Cambridge University Press. ISBN 978-0-521-56543-1. Retrieved 10 February 2013.

brendaneich.com

Eich, Brendan (3 April 2008). "Popularity".

byte.com

Pountain, Dick. "Functional Programming Comes of Age". Byte (August 1994). Archived from the original on 2006-08-27. Retrieved August 31, 2006.

cambridge.org

Purely functional data structures by Chris Okasaki, Cambridge University Press, 1998, ISBN 0-521-66350-4

chalmers.se

cse.chalmers.se

Hughes, John (1984). "Why Functional Programming Matters".
Hughes, John. "Why Functional Programming Matters" (PDF). Chalmers University of Technology.

cmu.edu

cs.cmu.edu

Robert W. Harper (2009). Practical Foundations for Programming Languages (PDF). Archived from the original (PDF) on 2016-04-07.

codecommit.com

Spiewak, Daniel (26 August 2008). "Implementing Persistent Vectors in Scala". Code Commit. Archived from the original on 23 September 2015. Retrieved 17 April 2012.

colorado.edu

amath.colorado.edu

"Functional vs. Procedural Programming Language". Department of Applied Math. University of Colorado. Archived from the original on 2007-11-13. Retrieved 2006-08-28.

computing.co.uk

John Leonard (January 24, 2017). "The stealthy rise of functional programming". Computing.

cs61a.org

John DeNero (Fall 2019). "Computer Science 61A, Berkeley". Department of Electrical Engineering and Computer Sciences, Berkeley. Retrieved 2020-08-14.

debian.org

benchmarksgame.alioth.debian.org

"Which programs are fastest? | Computer Language Benchmarks Game". benchmarksgame.alioth.debian.org. Archived from the original on 2013-05-20. Retrieved 2011-06-20.

digitalmars.com

"Functions — D Programming Language 2.0". Digital Mars. 30 December 2012.

doi.org

Hudak, Paul (September 1989). "Conception, evolution, and application of functional programming languages" (PDF). ACM Computing Surveys. 21 (3): 359–411. doi:10.1145/72551.72554. S2CID 207637854. Archived from the original (PDF) on 2016-01-31. Retrieved 2013-08-10.
Armstrong, Joe (June 2007). "A history of Erlang". Proceedings of the third ACM SIGPLAN conference on History of programming languages. Third ACM SIGPLAN Conference on History of Programming Languages. San Diego, California. doi:10.1145/1238844.1238850. ISBN 9781595937667.
Larson, Jim (March 2009). "Erlang for concurrent programming". Communications of the ACM. 52 (3): 48. doi:10.1145/1467247.1467263. S2CID 524392.
Minsky, Yaron; Weeks, Stephen (July 2008). "Caml Trading — experiences with functional programming on Wall Street". Journal of Functional Programming. 18 (4): 553–564. doi:10.1017/S095679680800676X (inactive 4 June 2025). S2CID 30955392.{{cite journal}}: CS1 maint: DOI inactive as of June 2025 (link)
Hudak, Paul; Hughes, J.; Jones, S. P.; Wadler, P. (June 2007). A history of Haskell: being lazy with class. Third ACM SIGPLAN Conference on History of Programming Languages. San Diego, California. doi:10.1145/1238844.1238856. Retrieved 2013-09-26.
de Moura, Leonardo; Ullrich, Sebastian (July 2021). "The Lean 4 Theorem Prover and Programming Language". Lecture Notes in Artificial Intelligence. Conference on Automated Deduction. Vol. 12699. pp. 625–635. doi:10.1007/978-3-030-79876-5_37. ISSN 1611-3349.
Turing, A. M. (1937). "Computability and λ-definability". The Journal of Symbolic Logic. 2 (4). Cambridge University Press: 153–163. doi:10.2307/2268280. JSTOR 2268280. S2CID 2317046.
Church, A. (1940). "A Formulation of the Simple Theory of Types". Journal of Symbolic Logic. 5 (2): 56–68. doi:10.2307/2266170. JSTOR 2266170. S2CID 15889861.
McCarthy, John (June 1978). History of Lisp (PDF). History of Programming Languages. Los Angeles, CA. pp. 173–185. doi:10.1145/800025.808387.
John McCarthy (1960). "Recursive functions of symbolic expressions and their computation by machine, Part I." (PDF). Communications of the ACM. 3 (4). ACM New York, NY, US: 184–195. doi:10.1145/367177.367199. S2CID 1489409.
Guy L. Steele; Richard P. Gabriel (February 1996). "The evolution of Lisp". History of programming languages---II (PDF). pp. 233–330. doi:10.1145/234286.1057818. ISBN 978-0-201-89502-5. S2CID 47047140.
Landin, Peter J. (1964). "The mechanical evaluation of expressions". The Computer Journal. 6 (4). British Computer Society: 308–320. doi:10.1093/comjnl/6.4.308.
Landin, Peter J. (February 1965a). "Correspondence between ALGOL 60 and Church's Lambda-notation: part I". Communications of the ACM. 8 (2). Association for Computing Machinery: 89–101. doi:10.1145/363744.363749. S2CID 6505810.
Landin, Peter J. (March 1965b). "A correspondence between ALGOL 60 and Church's Lambda-notation: part II". Communications of the ACM. 8 (3). Association for Computing Machinery: 158–165. doi:10.1145/363791.363804. S2CID 15781851.
Landin, Peter J. (March 1966b). "The next 700 programming languages". Communications of the ACM. 9 (3). Association for Computing Machinery: 157–166. doi:10.1145/365230.365257. S2CID 13409665.
Backus, J. (1978). "Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs". Communications of the ACM. 21 (8): 613–641. doi:10.1145/359576.359579.
Clinger, William (1998). "Proper tail recursion and space efficiency". Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation - PLDI '98. pp. 174–185. doi:10.1145/277650.277719. ISBN 0897919874. S2CID 16812984.
Turner, D.A. (2004-07-28). "Total Functional Programming". Journal of Universal Computer Science. 10 (7): 751–768. doi:10.3217/jucs-010-07-0751.
Launchbury, John (March 1993). A Natural Semantics for Lazy Evaluation. Symposium on Principles of Programming Languages. Charleston, South Carolina: ACM. pp. 144–154. doi:10.1145/158511.158618.
Huet, Gérard P. (1973). "The Undecidability of Unification in Third Order Logic". Information and Control. 22 (3): 257–267. doi:10.1016/s0019-9958(73)90301-x.
Kennedy, Andrew; Russo, Claudio V. (October 2005). Generalized Algebraic Data Types and Object-Oriented Programming (PDF). OOPSLA. San Diego, California: ACM. doi:10.1145/1094811.1094814. ISBN 9781595930316. Archived from the original on 2006-12-29.
Hartmanis, Juris; Hemachandra, Lane (1986). "Complexity classes without machines: On complete languages for UP". Automata, Languages and Programming. Lecture Notes in Computer Science. Vol. 226. Berlin, Heidelberg: Springer Berlin Heidelberg. pp. 123–135. doi:10.1007/3-540-16761-7_62. ISBN 978-3-540-16761-7. Retrieved 2024-12-12.
Igor Pechtchanski; Vivek Sarkar (2005). "Immutability specification and its applications". Concurrency and Computation: Practice and Experience. 17 (5–6): 639–662. doi:10.1002/cpe.853. S2CID 34527406.
Hartel, Pieter; Henk Muller; Hugh Glaser (March 2004). "The Functional C experience" (PDF). Journal of Functional Programming. 14 (2): 129–135. doi:10.1017/S0956796803004817. S2CID 32346900. Archived from the original (PDF) on 2011-07-19. Retrieved 2006-05-28.; David Mertz. "Functional programming in Python, Part 3". IBM developerWorks. Archived from the original on 2007-10-16. Retrieved 2006-09-17.(Part 1, Part 2)
Wakeling, David (2007). "Spreadsheet functional programming" (PDF). Journal of Functional Programming. 17 (1): 131–143. doi:10.1017/S0956796806006186. ISSN 0956-7968. S2CID 29429059.

dreamsongs.com

Guy L. Steele; Richard P. Gabriel (February 1996). "The evolution of Lisp". History of programming languages---II (PDF). pp. 233–330. doi:10.1145/234286.1057818. ISBN 978-0-201-89502-5. S2CID 47047140.

ecommercegermany.com

Team, Editorial (2019-01-08). "ALLEGRO - all you need to know about the best Polish online marketplace". E-commerce Germany News. Retrieved 2024-04-29.

edf.com

research.edf.com

"Sim-Diasca: a large-scale discrete event concurrent simulation engine in Erlang". November 2011. Archived from the original on 2013-09-17. Retrieved 2011-11-08.

elixir-lang.org

"The Elixir Programming Language". Retrieved 2021-02-14.

erlang.org

"Who uses Erlang for product development?". Frequently asked questions about Erlang. Retrieved 2018-04-27.

fsharpforfunandprofit.com

"Thirteen ways of looking at a turtle". fF# for fun and profit. Retrieved 2018-11-13.

galois.com

cufp.galois.com

Kidd, Eric. Terrorism Response Training in Scheme. CUFP 2007. Archived from the original on 2010-12-21. Retrieved 2009-08-26.
Cleis, Richard. Scheme in Space. CUFP 2006. Archived from the original on 2010-05-27. Retrieved 2009-08-26.
Leroy, Xavier. Some uses of Caml in Industry (PDF). CUFP 2007. Archived from the original (PDF) on 2011-10-08. Retrieved 2009-08-26.
Mansell, Howard (2008). Quantitative Finance in F#. CUFP 2008. Archived from the original on 2015-07-08. Retrieved 2009-08-29.
Peake, Alex (2009). The First Substantial Line of Business Application in F#. CUFP 2009. Archived from the original on 2009-10-17. Retrieved 2009-08-29.
Piro, Christopher (2009). Functional Programming at Facebook. CUFP 2009. Archived from the original on 2009-10-17. Retrieved 2009-08-29.
Momtahan, Lee (2009). Scala at EDF Trading: Implementing a Domain-Specific Language for Derivative Pricing with Scala. CUFP 2009. Archived from the original on 2009-10-17. Retrieved 2009-08-29.
Sims, Steve (2006). Building a Startup with Standard ML (PDF). CUFP 2006. Retrieved 2009-08-29.
Laurikari, Ville (2007). Functional Programming in Communications Security. CUFP 2007. Archived from the original on 2010-12-21. Retrieved 2009-08-29.

gameenginebook.com

"State-Based Scripting in Uncharted 2" (PDF). Archived from the original (PDF) on 2012-12-15. Retrieved 2011-08-08.

ghostarchive.org

Functional Programming with C# - Simon Painter - NDC Oslo 2020, 8 August 2021, archived from the original on 2021-10-30, retrieved 2021-10-23

github.com

Berthe, Samuel (2024-04-29), samber/lo, retrieved 2024-04-29
Herrick, Justin (2024-04-29), jah2488/elm-companies, retrieved 2024-04-29

twitter.github.com

"Effective Scala". Scala Wiki. Archived from the original on 2012-06-19. Retrieved 2012-02-21. Effective Scala.

gnosis.cx

Mertz, David. "XML Programming Paradigms (part four): Functional Programming approached to XML processing". IBM developerWorks. Retrieved May 27, 2006.

go.dev

"Go Wiki: Compiler And Runtime Optimizations - The Go Programming Language". go.dev. Retrieved 2024-04-29.

golang.org

"First-Class Functions in Go - The Go Programming Language". golang.org. Retrieved 2021-01-04.

harvard.edu

ui.adsabs.harvard.edu

Abelson, Hal; Sussman, Gerald Jay (1985). "Preface to the Second Edition". Structure and Interpretation of Computer Programs (2 ed.). MIT Press. Bibcode:1985sicp.book.....A.

haskell.cz

monads.haskell.cz

Newbern, J. "All About Monads: A comprehensive guide to the theory and practice of monadic programming in Haskell". Retrieved 2008-02-14.

haskell.org

"Haskell in industry". Haskell Wiki. Retrieved 2009-08-26. Haskell has a diverse range of use commercially, from aerospace and defense, to finance, to web startups, hardware design firms and lawnmower manufacturers.

helix-editor.com

"Helix". helix-editor.com. Retrieved 2024-04-29.

hypirion.com

L’orange, Jean Niklas. "polymatheia - Understanding Clojure's Persistent Vector, pt. 1". Polymatheia. Retrieved 2018-11-13.

ibm.com

www-128.ibm.com

Hartel, Pieter; Henk Muller; Hugh Glaser (March 2004). "The Functional C experience" (PDF). Journal of Functional Programming. 14 (2): 129–135. doi:10.1017/S0956796803004817. S2CID 32346900. Archived from the original (PDF) on 2011-07-19. Retrieved 2006-05-28.; David Mertz. "Functional programming in Python, Part 3". IBM developerWorks. Archived from the original on 2007-10-16. Retrieved 2006-09-17.(Part 1, Part 2)

imacs.org

Staff, IMACS (2011-06-03). "What Is Scheme & Why Is it Beneficial for Students?". IMACS – Making Better Thinkers for Life. Retrieved 2024-04-29.

imperial.ac.uk

"Programming I (Haskell)". Imperial College London Department of Computing. Retrieved 28 April 2020.

infoq.com

"An In-Depth Look at Clojure Collections". InfoQ. Retrieved 2024-04-29.
Lorimer, R. J. (19 January 2009). "Live Production Clojure Application Announced". InfoQ.

infoworld.com

Leo Cheung (May 9, 2017). "Is functional programming better for your startup?". InfoWorld.

inria.fr

pauillac.inria.fr

Huet, Gérard (2002). "Higher Order Unification 30 years later" (PDF). In Carreño, V.; Muñoz, C.; Tahar, S. (eds.). Proceedings, 15th International Conference TPHOL. LNCS. Vol. 2410. Springer. pp. 3–12.

compcert.inria.fr

Leroy, Xavier (17 September 2018). "The Compcert verified compiler".

caml.inria.fr

"OCaml Manual". caml.inria.fr. Retrieved 2021-03-08.

jstor.org

Turing, A. M. (1937). "Computability and λ-definability". The Journal of Symbolic Logic. 2 (4). Cambridge University Press: 153–163. doi:10.2307/2268280. JSTOR 2268280. S2CID 2317046.
Church, A. (1940). "A Formulation of the Simple Theory of Types". Journal of Symbolic Logic. 5 (2): 56–68. doi:10.2307/2266170. JSTOR 2266170. S2CID 15889861.

jucs.org

Turner, D.A. (2004-07-28). "Total Functional Programming". Journal of Universal Computer Science. 10 (7): 751–768. doi:10.3217/jucs-010-07-0751.

kotlinlang.org

"Functional programming - Kotlin Programming Language". Kotlin. Retrieved 2019-05-01.

luafaq.org

"Lua Unofficial FAQ (uFAQ)".

mactech.com

Clinger, Will (1987). "MultiTasking and MacScheme". MacTech. 3 (12). Retrieved 2008-08-28.
Hartheimer, Anne (1987). "Programming a Text Editor in MacScheme+Toolsmith". MacTech. 3 (1). Archived from the original on 2011-06-29. Retrieved 2008-08-28.

microsoft.com

research.microsoft.com

The Implementation of Functional Programming Languages. Simon Peyton Jones, published by Prentice Hall, 1987
Peyton Jones, Simon; Vytiniotis, Dimitrios; Weirich, Stephanie; Geoffrey Washburn (April 2006). "Simple unification-based type inference for GADTs". Icfp 2006: 50–61.
Peyton Jones, Simon; Burnett, Margaret; Blackwell, Alan (March 2003). "Improving the world's most popular functional language: user-defined functions in Excel". Archived from the original on 2005-10-16.

microsoft.com

Kennedy, Andrew; Russo, Claudio V. (October 2005). Generalized Algebraic Data Types and Object-Oriented Programming (PDF). OOPSLA. San Diego, California: ACM. doi:10.1145/1094811.1094814. ISBN 9781595930316. Archived from the original on 2006-12-29.

mit.edu

mitpress.mit.edu

Abelson, Hal; Sussman, Gerald Jay (1985). "Preface to the Second Edition". Structure and Interpretation of Computer Programs (2 ed.). MIT Press. Bibcode:1985sicp.book.....A.

mozilla.org

developer.mozilla.org

"Object.freeze() - JavaScript | MDN". developer.mozilla.org. Retrieved 2021-01-04. The Object.freeze() method freezes an object. A frozen object can no longer be changed; freezing an object prevents new properties from being added to it, existing properties from being removed, prevents changing the enumerability, configurability, or writability of existing properties, and prevents the values of existing properties from being changed. In addition, freezing an object also prevents its prototype from being changed. freeze() returns the same object that was passed in.

nottingham.ac.uk

"Computer Science BSc - Modules". Retrieved 28 April 2020.

ntua.gr

dbnet.ece.ntua.gr

Hudak, Paul (September 1989). "Conception, evolution, and application of functional programming languages" (PDF). ACM Computing Surveys. 21 (3): 359–411. doi:10.1145/72551.72554. S2CID 207637854. Archived from the original (PDF) on 2016-01-31. Retrieved 2013-08-10.

openscad.org

forum.openscad.org

"Make discovering assign() easier!". OpenSCAD. Archived from the original on 2023-04-19.

opensource.com

Banz, Matt (2017-06-27). "An introduction to functional programming in JavaScript". Opensource.com. Retrieved 2021-01-09.

oracle.com

docs.oracle.com

"Documentation for package java.util.function since Java 8 (also known as Java 1.8)". Retrieved 2021-06-16.
"Concurrent Collections (The Java™ Tutorials > Essential Java Classes > Concurrency)". docs.oracle.com. Retrieved 2024-04-29.

blogs.oracle.com

Gosling, James. "Closures". James Gosling: on the Java Road. Oracle. Archived from the original on 2013-04-14. Retrieved 11 May 2013.
Williams, Michael (8 April 2013). "Java SE 8 Lambda Quick Start".

ox.ac.uk

cs.ox.ac.uk

"Functional Programming: 2019-2020". University of Oxford Department of Computer Science. Retrieved 28 April 2020.

paulgraham.com

Graham, Paul (2003). "Beating the Averages". Retrieved 2009-08-29.

pipeline.com

home.pipeline.com

Baker, Henry (1994). "CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A." Archived from the original on 2006-03-03. Retrieved 2020-04-29.

psu.edu

citeseerx.ist.psu.edu

Wells, J. B. (1993). "Typability and type checking in the second-order lambda-calculus are equivalent and undecidable". Tech. Rep. 93-011: 176–185. CiteSeerX 10.1.1.31.3590.

python-history.blogspot.de

van Rossum, Guido (2009-04-21). "Origins of Python's "Functional" Features". Retrieved 2012-09-27.

python.org

The Cain Gang Ltd. "Python Metaclasses: Who? Why? When?" (PDF). Archived from the original (PDF) on 30 May 2009. Retrieved 27 June 2009.

docs.python.org

"functools — Higher order functions and operations on callable objects". Python Software Foundation. 2011-07-31. Retrieved 2011-07-31.

r-project.org

"The useR! 2006 conference schedule includes papers on the commercial use of R". R-project.org. 2006-06-08. Retrieved 2011-06-20.

r6rs.org

"Revised^6 Report on the Algorithmic Language Scheme". R6rs.org. Retrieved 2013-03-21.
"Revised^6 Report on the Algorithmic Language Scheme - Rationale". R6rs.org. Retrieved 2013-03-21.

realworldhaskell.org

book.realworldhaskell.org

"Chapter 25. Profiling and optimization". Book.realworldhaskell.org. Retrieved 2011-06-20.

rust-lang.org

doc.rust-lang.org

"Functional Language Features: Iterators and Closures - The Rust Programming Language". doc.rust-lang.org. Retrieved 2021-01-09.
"References and Borrowing - The Rust Programming Language". doc.rust-lang.org. Retrieved 2024-04-29.
"Validating References with Lifetimes - The Rust Programming Language". doc.rust-lang.org. Retrieved 2024-04-29.
"Comparing Performance: Loops vs. Iterators - The Rust Programming Language". doc.rust-lang.org. Retrieved 2024-04-29.

scala-lang.org

docs.scala-lang.org

"Algebraic Data Types". Scala Documentation. Retrieved 2021-03-08.

scaleyourapp.com

"Understanding The Actor Model To Build Non-blocking, High-throughput Distributed Systems - Scaleyourapp". scaleyourapp.com. 2023-01-28. Retrieved 2024-04-29.

semanticscholar.org

api.semanticscholar.org

Hudak, Paul (September 1989). "Conception, evolution, and application of functional programming languages" (PDF). ACM Computing Surveys. 21 (3): 359–411. doi:10.1145/72551.72554. S2CID 207637854. Archived from the original (PDF) on 2016-01-31. Retrieved 2013-08-10.
Larson, Jim (March 2009). "Erlang for concurrent programming". Communications of the ACM. 52 (3): 48. doi:10.1145/1467247.1467263. S2CID 524392.
Minsky, Yaron; Weeks, Stephen (July 2008). "Caml Trading — experiences with functional programming on Wall Street". Journal of Functional Programming. 18 (4): 553–564. doi:10.1017/S095679680800676X (inactive 4 June 2025). S2CID 30955392.{{cite journal}}: CS1 maint: DOI inactive as of June 2025 (link)
Turing, A. M. (1937). "Computability and λ-definability". The Journal of Symbolic Logic. 2 (4). Cambridge University Press: 153–163. doi:10.2307/2268280. JSTOR 2268280. S2CID 2317046.
Church, A. (1940). "A Formulation of the Simple Theory of Types". Journal of Symbolic Logic. 5 (2): 56–68. doi:10.2307/2266170. JSTOR 2266170. S2CID 15889861.
John McCarthy (1960). "Recursive functions of symbolic expressions and their computation by machine, Part I." (PDF). Communications of the ACM. 3 (4). ACM New York, NY, US: 184–195. doi:10.1145/367177.367199. S2CID 1489409.
Guy L. Steele; Richard P. Gabriel (February 1996). "The evolution of Lisp". History of programming languages---II (PDF). pp. 233–330. doi:10.1145/234286.1057818. ISBN 978-0-201-89502-5. S2CID 47047140.
Landin, Peter J. (February 1965a). "Correspondence between ALGOL 60 and Church's Lambda-notation: part I". Communications of the ACM. 8 (2). Association for Computing Machinery: 89–101. doi:10.1145/363744.363749. S2CID 6505810.
Landin, Peter J. (March 1965b). "A correspondence between ALGOL 60 and Church's Lambda-notation: part II". Communications of the ACM. 8 (3). Association for Computing Machinery: 158–165. doi:10.1145/363791.363804. S2CID 15781851.
Landin, Peter J. (March 1966b). "The next 700 programming languages". Communications of the ACM. 9 (3). Association for Computing Machinery: 157–166. doi:10.1145/365230.365257. S2CID 13409665.
Clinger, William (1998). "Proper tail recursion and space efficiency". Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation - PLDI '98. pp. 174–185. doi:10.1145/277650.277719. ISBN 0897919874. S2CID 16812984.
Igor Pechtchanski; Vivek Sarkar (2005). "Immutability specification and its applications". Concurrency and Computation: Practice and Experience. 17 (5–6): 639–662. doi:10.1002/cpe.853. S2CID 34527406.
Hartel, Pieter; Henk Muller; Hugh Glaser (March 2004). "The Functional C experience" (PDF). Journal of Functional Programming. 14 (2): 129–135. doi:10.1017/S0956796803004817. S2CID 32346900. Archived from the original (PDF) on 2011-07-19. Retrieved 2006-05-28.; David Mertz. "Functional programming in Python, Part 3". IBM developerWorks. Archived from the original on 2007-10-16. Retrieved 2006-09-17.(Part 1, Part 2)
Wakeling, David (2007). "Spreadsheet functional programming" (PDF). Journal of Functional Programming. 17 (1): 131–143. doi:10.1017/S0956796806006186. ISSN 0956-7968. S2CID 29429059.

sourceforge.net

fxsl.sourceforge.net

Novatchev, Dimitre. "The Functional Programming Language XSLT — A proof through examples". Retrieved May 27, 2006.

stackshare.io

"Why developers like ClojureScript". StackShare. Retrieved 2024-04-29.
"Why developers like PureScript". StackShare. Retrieved 2024-04-29.

stallman.org

"How I do my Computing". stallman.org. Retrieved 2024-04-29.

stanford.edu

jmc.stanford.edu

McCarthy, John (June 1978). History of Lisp (PDF). History of Programming Languages. Los Angeles, CA. pp. 173–185. doi:10.1145/800025.808387.
John McCarthy (1960). "Recursive functions of symbolic expressions and their computation by machine, Part I." (PDF). Communications of the ACM. 3 (4). ACM New York, NY, US: 184–195. doi:10.1145/367177.367199. S2CID 1489409.

twit.tv

Emmanuel Schanzer of Bootstrap interviewed on the TV show Triangulation on the TWiT.tv network

utwente.nl

ub.utwente.nl

Hartel, Pieter; Henk Muller; Hugh Glaser (March 2004). "The Functional C experience" (PDF). Journal of Functional Programming. 14 (2): 129–135. doi:10.1017/S0956796803004817. S2CID 32346900. Archived from the original (PDF) on 2011-07-19. Retrieved 2006-05-28.; David Mertz. "Functional programming in Python, Part 3". IBM developerWorks. Archived from the original on 2007-10-16. Retrieved 2006-09-17.(Part 1, Part 2)

wappalyzer.com

"Websites using Phoenix Framework - Wappalyzer". www.wappalyzer.com. Retrieved 2024-04-29.

web.archive.org

Hudak, Paul (September 1989). "Conception, evolution, and application of functional programming languages" (PDF). ACM Computing Surveys. 21 (3): 359–411. doi:10.1145/72551.72554. S2CID 207637854. Archived from the original (PDF) on 2016-01-31. Retrieved 2013-08-10.
Hartheimer, Anne (1987). "Programming a Text Editor in MacScheme+Toolsmith". MacTech. 3 (1). Archived from the original on 2011-06-29. Retrieved 2008-08-28.
Kidd, Eric. Terrorism Response Training in Scheme. CUFP 2007. Archived from the original on 2010-12-21. Retrieved 2009-08-26.
Cleis, Richard. Scheme in Space. CUFP 2006. Archived from the original on 2010-05-27. Retrieved 2009-08-26.
"Functional vs. Procedural Programming Language". Department of Applied Math. University of Colorado. Archived from the original on 2007-11-13. Retrieved 2006-08-28.
"State-Based Scripting in Uncharted 2" (PDF). Archived from the original (PDF) on 2012-12-15. Retrieved 2011-08-08.
Leroy, Xavier. Some uses of Caml in Industry (PDF). CUFP 2007. Archived from the original (PDF) on 2011-10-08. Retrieved 2009-08-26.
Mansell, Howard (2008). Quantitative Finance in F#. CUFP 2008. Archived from the original on 2015-07-08. Retrieved 2009-08-29.
Peake, Alex (2009). The First Substantial Line of Business Application in F#. CUFP 2009. Archived from the original on 2009-10-17. Retrieved 2009-08-29.
The Cain Gang Ltd. "Python Metaclasses: Who? Why? When?" (PDF). Archived from the original (PDF) on 30 May 2009. Retrieved 27 June 2009.
Vanderbauwhede, Wim (18 July 2020). "Cleaner code with functional programming". Archived from the original on 28 July 2020. Retrieved 6 October 2020.
"Effective Scala". Scala Wiki. Archived from the original on 2012-06-19. Retrieved 2012-02-21. Effective Scala.
"Make discovering assign() easier!". OpenSCAD. Archived from the original on 2023-04-19.
Pountain, Dick. "Functional Programming Comes of Age". Byte (August 1994). Archived from the original on 2006-08-27. Retrieved August 31, 2006.
Baker, Henry (1994). "CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A." Archived from the original on 2006-03-03. Retrieved 2020-04-29.
Robert W. Harper (2009). Practical Foundations for Programming Languages (PDF). Archived from the original (PDF) on 2016-04-07.
Kennedy, Andrew; Russo, Claudio V. (October 2005). Generalized Algebraic Data Types and Object-Oriented Programming (PDF). OOPSLA. San Diego, California: ACM. doi:10.1145/1094811.1094814. ISBN 9781595930316. Archived from the original on 2006-12-29.
Spiewak, Daniel (26 August 2008). "Implementing Persistent Vectors in Scala". Code Commit. Archived from the original on 23 September 2015. Retrieved 17 April 2012.
"Which programs are fastest? | Computer Language Benchmarks Game". benchmarksgame.alioth.debian.org. Archived from the original on 2013-05-20. Retrieved 2011-06-20.
Hartel, Pieter; Henk Muller; Hugh Glaser (March 2004). "The Functional C experience" (PDF). Journal of Functional Programming. 14 (2): 129–135. doi:10.1017/S0956796803004817. S2CID 32346900. Archived from the original (PDF) on 2011-07-19. Retrieved 2006-05-28.; David Mertz. "Functional programming in Python, Part 3". IBM developerWorks. Archived from the original on 2007-10-16. Retrieved 2006-09-17.(Part 1, Part 2)
Gosling, James. "Closures". James Gosling: on the Java Road. Oracle. Archived from the original on 2013-04-14. Retrieved 11 May 2013.
Peyton Jones, Simon; Burnett, Margaret; Blackwell, Alan (March 2003). "Improving the world's most popular functional language: user-defined functions in Excel". Archived from the original on 2005-10-16.
Piro, Christopher (2009). Functional Programming at Facebook. CUFP 2009. Archived from the original on 2009-10-17. Retrieved 2009-08-29.
"Sim-Diasca: a large-scale discrete event concurrent simulation engine in Erlang". November 2011. Archived from the original on 2013-09-17. Retrieved 2011-11-08.
1 million is so 2011 Archived 2014-02-19 at the Wayback Machine // WhatsApp blog, 2012-01-06: "the last important piece of our infrastracture is Erlang"
Momtahan, Lee (2009). Scala at EDF Trading: Implementing a Domain-Specific Language for Derivative Pricing with Scala. CUFP 2009. Archived from the original on 2009-10-17. Retrieved 2009-08-29.
Laurikari, Ville (2007). Functional Programming in Communications Security. CUFP 2007. Archived from the original on 2010-12-21. Retrieved 2009-08-29.

wg5-fortran.org

"ISO/IEC JTC 1/SC 22/WG5/N2137 – Fortran 2015 Committee Draft (J3/17-007r2)" (PDF). International Organization for Standardization. July 6, 2017. pp. 336–338.

whatsapp.com

blog.whatsapp.com

1 million is so 2011 Archived 2014-02-19 at the Wayback Machine // WhatsApp blog, 2012-01-06: "the last important piece of our infrastracture is Erlang"

wimvanderbauwhede.github.io

Vanderbauwhede, Wim (18 July 2020). "Cleaner code with functional programming". Archived from the original on 28 July 2020. Retrieved 6 October 2020.

wolfram.com

reference.wolfram.com

"Wolfram Language Guide: Functional Programming". 2015. Retrieved 2015-08-24.

worldcat.org

search.worldcat.org

de Moura, Leonardo; Ullrich, Sebastian (July 2021). "The Lean 4 Theorem Prover and Programming Language". Lecture Notes in Artificial Intelligence. Conference on Automated Deduction. Vol. 12699. pp. 625–635. doi:10.1007/978-3-030-79876-5_37. ISSN 1611-3349.
Wakeling, David (2007). "Spreadsheet functional programming" (PDF). Journal of Functional Programming. 17 (1): 131–143. doi:10.1017/S0956796806006186. ISSN 0956-7968. S2CID 29429059.

youtube.com

Functional Programming with C# - Simon Painter - NDC Oslo 2020, 8 August 2021, archived from the original on 2021-10-30, retrieved 2021-10-23
"GopherCon 2020: Dylan Meeus - Functional Programming with Go". YouTube. 22 December 2020.