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 (Global: low place; English: low place)

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 (Global: low place; English: low place)

home.adelphi.edu

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

archive.org (Global: 6^th place; English: 6^th place)

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 (Global: 388^th place; English: 265^th place)

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

books.google.com (Global: 3^rd place; English: 3^rd place)

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 (Global: low place; English: low place)

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

byte.com (Global: low place; English: low place)

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

cambridge.org (Global: 305^th place; English: 264^th place)

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

chalmers.se (Global: low place; English: 7,981^st place)

cse.chalmers.se

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

cmu.edu (Global: 1,564^th place; English: 1,028^th place)

cs.cmu.edu

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

codecommit.com (Global: low place; English: low place)

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 (Global: 2,526^th place; English: 1,796^th place)

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 (Global: low place; English: low place)

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

cs61a.org (Global: low place; English: low place)

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

debian.org (Global: 3,857^th place; English: 2,958^th place)

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 (Global: low place; English: low place)

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

doi.org (Global: 2^nd place; English: 2^nd place)

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. S2CID 30955392.
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". The first ACM SIGPLAN conference on History of programming languages - HOPL-1 (PDF). Los Angeles, CA. pp. 173–185. doi:10.1145/800025.808387.{{cite book}}: CS1 maint: location missing publisher (link)
John McCarthy (1960). "Recursive functions of symbolic expressions and their computation by machine, Part I." (PDF). Communications of the ACM. 3 (4): 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 (Global: low place; English: low place)

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 (Global: low place; English: low place)

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 (Global: low place; English: low place)

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 (Global: low place; English: low place)

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

erlang.org (Global: low place; English: low place)

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

fsharpforfunandprofit.com (Global: low place; English: low place)

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

galois.com (Global: low place; English: low place)

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 (Global: low place; English: low place)

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

ghostarchive.org (Global: 32^nd place; English: 21^st place)

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 (Global: 383^rd place; English: 320^th place)

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 (Global: low place; English: low place)

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

go.dev (Global: low place; English: low place)

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

golang.org (Global: 8,118^th place; English: 6,098^th place)

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

harvard.edu (Global: 18^th place; English: 17^th place)

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 (Global: low place; English: low place)

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 (Global: low place; English: 7,198^th place)

"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.

hypirion.com (Global: low place; English: low place)

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

ibm.com (Global: 1,131^st place; English: 850^th place)

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 (Global: low place; English: low place)

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 (Global: 7,025^th place; English: 4,914^th place)

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

infoq.com (Global: 6,158^th place; English: 4,128^th place)

"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 (Global: 3,696^th place; English: 2,428^th place)

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

inria.fr (Global: 4,903^rd place; English: 3,679^th place)

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 (Global: 26^th place; English: 20^th place)

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 (Global: low place; English: low place)

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 (Global: low place; English: low place)

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

luafaq.org (Global: low place; English: low place)

"Lua Unofficial FAQ (uFAQ)".

mactech.com (Global: low place; English: low place)

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 (Global: 153^rd place; English: 151^st place)

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 (Global: 415^th place; English: 327^th place)

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 (Global: 1,686^th place; English: 1,293^rd place)

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 (Global: 4,422^nd place; English: 2,579^th place)

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

ntua.gr (Global: low place; English: low place)

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 (Global: low place; English: low place)

forum.openscad.org

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

opensource.com (Global: low place; English: 9,360^th place)

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

oracle.com (Global: 1,514^th place; English: 1,024^th place)

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 (Global: 613^th place; English: 456^th place)

cs.ox.ac.uk

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

paulgraham.com (Global: low place; English: low place)

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

pipeline.com (Global: low place; English: low place)

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 (Global: 207^th place; English: 136^th place)

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 (Global: low place; English: low place)

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

python.org (Global: 2,232^nd place; English: 1,903^rd place)

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 (Global: 7,871^st place; English: 5,225^th place)

"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 (Global: low place; English: low place)

"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 (Global: low place; English: low place)

book.realworldhaskell.org

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

rust-lang.org (Global: low place; English: 8,052^nd place)

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 (Global: low place; English: low place)

docs.scala-lang.org

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

scaleyourapp.com (Global: low place; English: low place)

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

semanticscholar.org (Global: 11^th place; English: 8^th place)

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. S2CID 30955392.
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): 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 (Global: 1,669^th place; English: 1,290^th place)

fxsl.sourceforge.net

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

stackshare.io (Global: low place; English: low place)

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

stallman.org (Global: low place; English: low place)

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

stanford.edu (Global: 179^th place; English: 183^rd place)

jmc.stanford.edu

McCarthy, John (June 1978). "History of LISP". The first ACM SIGPLAN conference on History of programming languages - HOPL-1 (PDF). Los Angeles, CA. pp. 173–185. doi:10.1145/800025.808387.{{cite book}}: CS1 maint: location missing publisher (link)
John McCarthy (1960). "Recursive functions of symbolic expressions and their computation by machine, Part I." (PDF). Communications of the ACM. 3 (4): 184–195. doi:10.1145/367177.367199. S2CID 1489409.

twit.tv (Global: low place; English: 9,126^th place)

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

utwente.nl (Global: low place; English: 8,900^th place)

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 (Global: low place; English: low place)

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

web.archive.org (Global: 1^st place; English: 1^st place)

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 (Global: low place; English: low place)

"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 (Global: 5,387^th place; English: 5,687^th place)

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 (Global: low place; English: low place)

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

wolfram.com (Global: 513^th place; English: 537^th place)

reference.wolfram.com

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

worldcat.org (Global: 5^th place; English: 5^th place)

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 (Global: 9^th place; English: 13^th place)

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.

Functional programming (English Wikipedia)

acm.org (Global: 1,185th place; English: 840th place)

dl.acm.org

activemode.org (Global: low place; English: low place)

adelphi.edu (Global: low place; English: low place)

home.adelphi.edu

archive.org (Global: 6th place; English: 6th place)

arstechnica.com (Global: 388th place; English: 265th place)

books.google.com (Global: 3rd place; English: 3rd place)

brendaneich.com (Global: low place; English: low place)

byte.com (Global: low place; English: low place)

cambridge.org (Global: 305th place; English: 264th place)

chalmers.se (Global: low place; English: 7,981st place)

cse.chalmers.se

cmu.edu (Global: 1,564th place; English: 1,028th place)

cs.cmu.edu

codecommit.com (Global: low place; English: low place)

colorado.edu (Global: 2,526th place; English: 1,796th place)

amath.colorado.edu

computing.co.uk (Global: low place; English: low place)

cs61a.org (Global: low place; English: low place)

debian.org (Global: 3,857th place; English: 2,958th place)

benchmarksgame.alioth.debian.org

digitalmars.com (Global: low place; English: low place)

doi.org (Global: 2nd place; English: 2nd place)

dreamsongs.com (Global: low place; English: low place)

ecommercegermany.com (Global: low place; English: low place)

edf.com (Global: low place; English: low place)

research.edf.com

elixir-lang.org (Global: low place; English: low place)

erlang.org (Global: low place; English: low place)

fsharpforfunandprofit.com (Global: low place; English: low place)

galois.com (Global: low place; English: low place)

cufp.galois.com

gameenginebook.com (Global: low place; English: low place)

ghostarchive.org (Global: 32nd place; English: 21st place)

github.com (Global: 383rd place; English: 320th place)

github.com

twitter.github.com

gnosis.cx (Global: low place; English: low place)

go.dev (Global: low place; English: low place)

golang.org (Global: 8,118th place; English: 6,098th place)

harvard.edu (Global: 18th place; English: 17th place)

ui.adsabs.harvard.edu

haskell.cz (Global: low place; English: low place)

monads.haskell.cz

haskell.org (Global: low place; English: 7,198th place)

hypirion.com (Global: low place; English: low place)

ibm.com (Global: 1,131st place; English: 850th place)

www-128.ibm.com

imacs.org (Global: low place; English: low place)

imperial.ac.uk (Global: 7,025th place; English: 4,914th place)

infoq.com (Global: 6,158th place; English: 4,128th place)

infoworld.com (Global: 3,696th place; English: 2,428th place)

inria.fr (Global: 4,903rd place; English: 3,679th place)

pauillac.inria.fr

compcert.inria.fr

caml.inria.fr

jstor.org (Global: 26th place; English: 20th place)

jucs.org (Global: low place; English: low place)

kotlinlang.org (Global: low place; English: low place)

luafaq.org (Global: low place; English: low place)

mactech.com (Global: low place; English: low place)

microsoft.com (Global: 153rd place; English: 151st place)

research.microsoft.com

microsoft.com

mit.edu (Global: 415th place; English: 327th place)

mitpress.mit.edu

mozilla.org (Global: 1,686th place; English: 1,293rd place)

developer.mozilla.org

nottingham.ac.uk (Global: 4,422nd place; English: 2,579th place)

ntua.gr (Global: low place; English: low place)

dbnet.ece.ntua.gr

openscad.org (Global: low place; English: low place)

forum.openscad.org

opensource.com (Global: low place; English: 9,360th place)

oracle.com (Global: 1,514th place; English: 1,024th place)

docs.oracle.com

blogs.oracle.com

ox.ac.uk (Global: 613th place; English: 456th place)

acm.org (Global: 1,185^th place; English: 840^th place)

archive.org (Global: 6^th place; English: 6^th place)

arstechnica.com (Global: 388^th place; English: 265^th place)

books.google.com (Global: 3^rd place; English: 3^rd place)

cambridge.org (Global: 305^th place; English: 264^th place)

chalmers.se (Global: low place; English: 7,981^st place)

cmu.edu (Global: 1,564^th place; English: 1,028^th place)

colorado.edu (Global: 2,526^th place; English: 1,796^th place)

debian.org (Global: 3,857^th place; English: 2,958^th place)

doi.org (Global: 2^nd place; English: 2^nd place)

ghostarchive.org (Global: 32^nd place; English: 21^st place)

github.com (Global: 383^rd place; English: 320^th place)

golang.org (Global: 8,118^th place; English: 6,098^th place)

harvard.edu (Global: 18^th place; English: 17^th place)

haskell.org (Global: low place; English: 7,198^th place)

ibm.com (Global: 1,131^st place; English: 850^th place)

imperial.ac.uk (Global: 7,025^th place; English: 4,914^th place)

infoq.com (Global: 6,158^th place; English: 4,128^th place)

infoworld.com (Global: 3,696^th place; English: 2,428^th place)

inria.fr (Global: 4,903^rd place; English: 3,679^th place)

jstor.org (Global: 26^th place; English: 20^th place)

microsoft.com (Global: 153^rd place; English: 151^st place)

mit.edu (Global: 415^th place; English: 327^th place)

mozilla.org (Global: 1,686^th place; English: 1,293^rd place)

nottingham.ac.uk (Global: 4,422^nd place; English: 2,579^th place)

opensource.com (Global: low place; English: 9,360^th place)

oracle.com (Global: 1,514^th place; English: 1,024^th place)

ox.ac.uk (Global: 613^th place; English: 456^th place)

psu.edu (Global: 207^th place; English: 136^th place)

python.org (Global: 2,232^nd place; English: 1,903^rd place)

r-project.org (Global: 7,871^st place; English: 5,225^th place)

rust-lang.org (Global: low place; English: 8,052^nd place)

semanticscholar.org (Global: 11^th place; English: 8^th place)

sourceforge.net (Global: 1,669^th place; English: 1,290^th place)

stanford.edu (Global: 179^th place; English: 183^rd place)

twit.tv (Global: low place; English: 9,126^th place)

utwente.nl (Global: low place; English: 8,900^th place)

web.archive.org (Global: 1^st place; English: 1^st place)

whatsapp.com (Global: 5,387^th place; English: 5,687^th place)

wolfram.com (Global: 513^th place; English: 537^th place)

worldcat.org (Global: 5^th place; English: 5^th place)

youtube.com (Global: 9^th place; English: 13^th place)