Monad (functional programming)

Known as: State monad, Monad laws, Writer monad 
In functional programming, monads are a way to build computer programs by joining simple components in robust ways. A monad encapsulates values of a… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1940-2017
05010019402016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
We present a new programming model for deterministic parallel computation in a pure functional language. The model is monadic and… (More)
  • figure 1
  • figure 4
  • figure 2
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We model notions of computation using algebraic operations and equations. We show that these generate several of the monads of… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
In a paper about pretty printing J. Hughes introduced two fundamental techniques for deriving programs from their specification… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
There has already been considerable research on constructing modular, monad-based specifications of computational effects (state… (More)
  • figure 1
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Gifford and others proposed an effect typing discipline to delimit the scope of computational effects within a program, while… (More)
  • figure 10
Is this relevant?
Highly Cited
1995
Highly Cited
1995
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of… (More)
  • figure 1
  • table 1
Is this relevant?
Highly Cited
1994
Highly Cited
1994
We show that any monad whose unit and extension operations are expressible as purely functional terms can be embedded in a call… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
This paper explores the use monads to structure functionalprograms. No prior knowledge of monads or category theory isrequired… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Category theorists invented monads in the 1960's to concisely express certain aspects of universal algebra. Functional… (More)
Is this relevant?