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

Purely functional programming

Known as: Purely functional language, Purely functional programming language, Pure functional language 
In computer science, purely functional programming usually designates a programming paradigm—a style of building the structure and elements of… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
This article demonstrates how a powerful and expressive abstraction from concurrency theory—monads of resumptions—plays a dual… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2006
2006
This thesis is about the design and implementation of a debugging tool which helps Haskell programmers understand why their… Expand
  • figure 2.4
  • figure 2.6
  • figure 3.8
  • figure 3.10
  • figure 5.2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1999
Highly Cited
1999
 
Is this relevant?
Highly Cited
1993
Highly Cited
1993
We present a new model, based on monads, for performing input/output in a non-strict, purely functional language. It is… Expand
Is this relevant?
1993
1993
We answer the following question: Can a deque (doubleended queue) be implemented in a purely functional language such that each… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1992
Highly Cited
1992
"Some half dozen persons have written technically on combinatory logic, and most of these, including ourselves, have published… Expand
  • figure I
Is this relevant?
Highly Cited
1992
Highly Cited
1992
  • P. Wadler
  • Math. Struct. Comput. Sci.
  • 1992
  • Corpus ID: 251176
Category theorists invented monads in the 1960’s to concisely express certain aspects of universal algebra. Functional… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
  • P. Wadler
  • LISP and Functional Programming
  • 1990
  • Corpus ID: 6523097
Category theorists invented monads in the 1960's to concisely express certain aspects of universal algebra. Functional… Expand
Is this relevant?