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)

Related topics

Related topics

49 relations
APLApplicative functorApplicative programming languageAwait

Broader (1)

Functional programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Randomized game semantics for semi-fuzzy quantifiers
We first show that randomized payoff in classical evaluation games leads to so-called weak Łukasiewicz logic. A further step of… 
2011
2011
POWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES
The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage… 
Highly Cited
2010
Highly Cited
2010
The Isabelle Collections Framework
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle… 
2009
2009
Monad - Functional Programming
Monad (Functional Programming). Monoid, Monad Transformer, Strong Monad, Functional Programming, Control Flow, Abstract Data Type… 
Highly Cited
2003
Highly Cited
2003
Towards a Calculus of State-based Software Components
  • L. Barbosa
  • Journal of universal computer science (Online)
  • 2003
  • Corpus ID: 2965826
This paper introduces a calculus of state-based software components mod- elled as concrete coalgebras for some Set endofunctors… 
2002
2002
From program languages to software languages
Highly Cited
1998
Highly Cited
1998
Modular monadic semantics and compilation
Modular monadic semantics is a high-level and modular form of denotational semantics. It is capable of capturing individual… 
Review
1997
Review
1997
Metalanguages and Applications
The aim of these notes is to describe the monadic and incremental approaches to the de-notational semantics of programming… 
1989
1989
Support for Objects in the MONADS Architecture
The paper outlines those features of the MONADS computer architecture which support object-oriented programming. It begins by… 
1987
1987
Object Management and Addressing in the MONADS Architecture
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)