Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,476,581 papers from all fields of science
Search
Sign In
Create Free Account
Monad (functional programming)
Known as:
State monad
, Monad laws
, Writer monad
Expand
In functional programming, monads are a way to build computer programs by joining simple components in robust ways. A monad encapsulates values of a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
APL
Applicative functor
Applicative programming language
Await
Expand
Broader (1)
Functional programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Understanding in a post-truth world: com-prehension and co-naissance as empathetic antidotes to post-truth politics
Andrew Kirkpatrick
2017
Corpus ID: 158714695
The election of Donald Trump and the accompanying alt-right fervor of fake news and alternative facts has brought into focus the…
Expand
2009
2009
Monad - Functional Programming
Frederic P. Miller
,
Agnes F. Vandome
,
John McBrewster
2009
Corpus ID: 124623625
Monad (Functional Programming). Monoid, Monad Transformer, Strong Monad, Functional Programming, Control Flow, Abstract Data Type…
Expand
2007
2007
AFAX : Rich client / server web applications in F #
T. Petříček
,
Don Syme
2007
Corpus ID: 5468633
“Ajax” programming is becoming a de-facto standard for certain types of web applications, but unfortunately developing this kind…
Expand
2004
2004
Merging Monads and Folds for Functional Programming
V. Kuznecov
2004
Corpus ID: 124406590
Diese Ausarbeitung behandelt den gleichzeitigen Gebrauch von generalisierten Fold-Operatoren und Monaden, um Programme bei der…
Expand
2004
2004
Guarded Induction and Weakly Final Coalgebras in Dependent Type Theory
P. Hancock
,
A. Setzer
2004
Corpus ID: 17648767
We introduce concepts for representing interactive programs in dependent type theory. The representation uses a monad, as in…
Expand
2000
2000
Set functors and generalised terms
P. Eklund
,
M. A. Galán
,
M. Ojeda‐Aciego
,
A. Valverde
2000
Corpus ID: 866932
In this paper we use techniques for monad compositions in order to provide a basis for categorical unification in the framework…
Expand
1999
1999
User-defined data types and operators in occam
David C. M. Wood
,
James Moores
1999
Corpus ID: 61969420
This paper describes the addition of user-defined monadic and dyadic operators to occam* [1], together with some libraries that…
Expand
Highly Cited
1998
Highly Cited
1998
Modular monadic semantics and compilation
P. Hudak
,
Sheng Liang
1998
Corpus ID: 58507372
Modular monadic semantics is a high-level and modular form of denotational semantics. It is capable of capturing individual…
Expand
Review
1998
Review
1998
Reviews-Monad to Man: The Concept of Progress in Evolutionary Biology
M. Ruse
,
R. Amundson
1998
Corpus ID: 83108366
1987
1987
Object Management and Addressing in the MONADS Architecture
J. Rosenberg
,
J. L. Keedy
Workshop on Persistent Objects
1987
Corpus ID: 9577546