Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The election of Donald Trump and the accompanying alt-right fervor of fake news and alternative facts has brought into focus the… 
2009
2009
Monad (Functional Programming). Monoid, Monad Transformer, Strong Monad, Functional Programming, Control Flow, Abstract Data Type… 
2007
2007
“Ajax” programming is becoming a de-facto standard for certain types of web applications, but unfortunately developing this kind… 
2004
2004
Diese Ausarbeitung behandelt den gleichzeitigen Gebrauch von generalisierten Fold-Operatoren und Monaden, um Programme bei der… 
2004
2004
We introduce concepts for representing interactive programs in dependent type theory. The representation uses a monad, as in… 
2000
2000
In this paper we use techniques for monad compositions in order to provide a basis for categorical unification in the framework… 
1999
1999
This paper describes the addition of user-defined monadic and dyadic operators to occam* [1], together with some libraries that… 
Highly Cited
1998
Highly Cited
1998
Modular monadic semantics is a high-level and modular form of denotational semantics. It is capable of capturing individual…