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.
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… 
2002
2002
From program languages to software languages
2000
2000
Set functors and generalised terms
In this paper we use techniques for monad compositions in order to provide a basis for categorical unification in the framework… 
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… 
Highly Cited
1995
Highly Cited
1995
Specifying Open GIS with Functional Languages
The concept of Open GIS depends on precise definitions of data, operations and interfaces. This paper argues for the use of… 
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… 
1989
1989
A massive memory supercomputer
An approach to supercomputing that is based on using a massive main memory (in the order of gigabytes) is investigated. Many of… 
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)