Keyword

functional programming languages

Description: Functional programming languages are programming languages that organize computation through functions and expression evaluation rather than changing mutable state.

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

Wikidata ID: wiki/Q3839507

OpenAlex ID: keywords/functional-programming-languages

The Definition of Standard ML

1997 · Robin Milner, Robert Harper, et al. · The MIT Press eBooks · 2,419

Partial evaluation and automatic program generation

1993 · Neil D. Jones, Carsten K. Gomard, et al. · Medical Entomology and Zoology · 1,440

Haskell 98 language and libraries : the revised report

2003 · Peyton Jones, L Simon · Cambridge University Press eBooks · 1,141

The implementation of functional programming languages

1987 · Microprocessors and Microsystems · 1,076

Report on the programming language Haskell

1992 · Paul Hudak, Simon Peyton Jones, et al. · ACM SIGPLAN Notices · 1,018

PDF

Term rewriting systems

1990 · Jan Willem Klop · 773

The formal semantics of programming languages: an introduction

1993 · Choice Reviews Online · 743

Why Functional Programming Matters

1989 · J. Hughes · The Computer Journal · 735

Explorations in Parallel Distributed Processing: A Handbook of Models, Programs, and Exercises

1989 · Alan H. Kawamoto, James L. McClelland, et al. · The American Journal of Psychology · 726

The Formal Semantics of Programming Languages

1993 · Glynn Winskel · The MIT Press eBooks · 693

Miranda: A non-strict functional language with polymorphic types

1985 · D. A. Turner · Lecture notes in computer science · 637

Purely Functional Data Structures

1998 · Chris Okasaki · Cambridge University Press eBooks · 627

Contracts for higher-order functions

2002 · Robert Bruce Findler, Matthias Felleisen · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 438

XQuery: An XML query language

2002 · D. Chamberlin · IBM Systems Journal · 412

Conception, evolution, and application of functional programming languages

1989 · Paul Hudak · ACM Computing Surveys · 409

Rabbit: A Compiler for Scheme

1978 · Jr. Guy L. Steele · DSpace@MIT (Massachusetts Institute of Technology) · 406

Explicit substitutions

1991 · M. Abadi, L. Cardelli, et al. · Journal of Functional Programming · 402

PDF

A large scale study of programming languages and code quality in github

2014 · Baishakhi Ray, Daryl Posnett, et al. · ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) · 398

Linear Types can Change the World

1990 · Philip Wadler · 392

Concurrent Haskell

1996 · Simon Peyton Jones, Andrew Gordon, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 379

The origins of structural operational semantics

2004 · Gordon D Plotkin · The Journal of Logic and Algebraic Programming · 365

The Implementation of Functional Programming Languages (Prentice-hall International Series in Computer Science)

1987 · Simon Jones · 339

The incremental garbage collection of processes

1977 · Henry C. Baker, Carl Hewitt · 329

LUCID: The data flow programming language

1985 · William W. Wadge, E. A. Ashcroft · 328

Guarded recursive datatype constructors

2003 · Hongwei Xi, Chiyan Chen, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 327

Works count: 5,895

Citation count: 64,540