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)

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2011

Highly Cited

2011

- Simon Marlow, Ryan Newton, Simon L. Peyton Jones
- Haskell
- 2011

We present a new programming model for deterministic parallel computation in a pure functional language. The model is monadic andâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Gordon D. Plotkin, John Power
- FoSSaCS
- 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

- Norman Ramsey, Avi Pfeffer
- POPL
- 2002

Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of andâ€¦Â (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- Ralf Hinze
- ICFP
- 2000

In a paper about pretty printing J. Hughes introduced two fundamental techniques for deriving programs from their specificationâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- Andrzej Filinski
- POPL
- 1999

There has already been considerable research on constructing modular, monad-based specifications of computational effects (stateâ€¦Â (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- Philip Wadler
- ICFP
- 1998

Gifford and others proposed an effect typing discipline to delimit the scope of computational effects within a program, whileâ€¦Â (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- Sheng Liang, Paul Hudak, Mark P. Jones
- POPL
- 1995

We show how a set of building blocks can be used to construct programming language interpreters, and present implementations ofâ€¦Â (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- Andrzej Filinski
- POPL
- 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

- Philip Wadler
- POPL
- 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

- Philip Wadler
- LISP and Functional Programming
- 1990

Category theorists invented monads in the 1960's to concisely express certain aspects of universal algebra. Functionalâ€¦Â (More)

Is this relevant?