Keyword

functional programming

Description: A programming paradigm that constructs software by applying and composing functions, often emphasizing immutable data and declarative computation.

Primary topic: Logic, programming, and type systems (63%)

Wikidata ID: wiki/Q193076

OpenAlex ID: keywords/functional-programming

The Genome Analysis Toolkit: A MapReduce framework for analyzing next-generation DNA sequencing data

2010 · Aaron McKenna, Matthew Hanna, et al. · Genome Research · 27,840

PDF

MapReduce: Simplified Data Processing on Large Cluster

2018 · Muthu Dayalan · INTERNATIONAL JOURNAL OF RESEARCH AND ENGINEERING · 2,947

Can programming be liberated from the von Neumann style?

1978 · John Backus · Communications of the ACM · 2,615

PDF

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

2002 · Tobias Nipkow, Markus Wenzel, et al. · Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)) · 2,307

Lambda Calculus with Types

2013 · Henk Barendregt, Wil Dekkers, et al. · Cambridge University Press eBooks · 883

Concurrent Programming in Erlang

1993 · Joe Armstrong, Mike Williams, et al. · 742

Deforestation: transforming programs to eliminate trees

1990 · Philip Wadler · Theoretical Computer Science · 699

PDF

Introduction to functional programming

1988 · Richard Bird · Medical Entomology and Zoology · 690

The essence of functional programming

1992 · Philip Wadler · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 682

PDF