Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Functional programming

Known as: Functional computing language, FPL, Functional 
In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
1996
Highly Cited
1996
  • D. Howe
  • Inf. Comput.
  • 1996
  • Corpus ID: 16297176
We give a method for proving congruence of bisimulation-like equivalences in functional programming languages. The method applies… Expand
Highly Cited
1995
Highly Cited
1995
  • P. Wadler
  • Advanced Functional Programming
  • 1995
  • Corpus ID: 45319207
The use of monads to structure functional programs is de- scribed. Monads provide a convenient framework for simulating eects… Expand
Highly Cited
1992
Highly Cited
1992
This paper explores the use monads to structure functionalprograms. No prior knowledge of monads or category theory isrequired… Expand
  • figure 2
Highly Cited
1992
Highly Cited
1992
The use of monads to structure functional programs is de scribed Monads provide a convenient framework for simulating e ects… Expand
Highly Cited
1991
Highly Cited
1991
We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For… Expand
Highly Cited
1989
Highly Cited
1989
As software becomes more and more complex, it is more and more important to structure it well. Well-structured software is easy… Expand
  • figure 1
  • figure 1
  • figure 2
  • figure 1
  • figure 2
Highly Cited
1988
Highly Cited
1988
  • R. Bird, P. Wadler
  • Prentice Hall International series in computer…
  • 1988
  • Corpus ID: 26683207
From the Publisher: This is a thorough introduction to the fundamental concepts of functional programming. The book clearly… Expand
  • table 2
  • figure 4.1
  • table 6
  • figure 6.1
  • figure 8.1
Highly Cited
1986
Highly Cited
1986
From the Publisher: Written by Bjarne Stroustrup, the creator of C, this is the world's most trusted and widely read book on C… Expand
Highly Cited
1978
Highly Cited
1978
Conventional programming languages are growing ever more enormous, but not stronger. Inherent defects at the most basic level… Expand
Highly Cited
1974
Highly Cited
1974
Briefly describes frame systems as a formalism for representing knowledge and then concentrates on the issue of what the content… Expand