Monad transformer

Known as: Monad transformers

In functional programming, a monad transformer is a type constructor which takes a monad as an argument and returns a monad as a result. Monad…

Papers overview

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

2018

From a declarative variant of Rémy's algorithm for uniform random generation of binary trees, we derive a generalization to term…

2013

Over the past two decades the notion of a strong monad has found wide applicability in computing. Arising out of a need to…

2008

This is the year 2008 and ML-style exceptions are everywhere. Most modern languages, whether academic or industrial, feature some…

2007

Probability is often counter-intuitive, and it always involves a great deal of math. This is unfortunate, because many…

2005

Monad transformers, each representing a single notion of computation, can be designed once and for all. In this paper we abstract…

2001

2000

In a paper about pretty printing J. Hughes introdu ed two fundamental te hniques for deriving programs from their spe i ation…

2000

In a paper about pretty printing J. Hughes introduced two fundamental techniques for deriving programs from their specification…

1999

In a paper about pretty printing J. Hughes introduced two fundamental techniques for deriving programs from their speciication…

1998