Monads, zippers and views: virtualizing the monad stack

@inproceedings{Schrijvers2011MonadsZA,
  title={Monads, zippers and views: virtualizing the monad stack},
  author={Tom Schrijvers and Bruno C. d. S. Oliveira},
  booktitle={ICFP},
  year={2011}
}
We make monadic components more reusable and robust to changes by employing two new techniques for virtualizing the monad stack: the monad zipper and monad views. The monad zipper is a higher-order monad transformer that creates virtual monad stacks by ignoring particular layers in a concrete stack. Monad views provide a general framework for monad stack virtualization: they take the monad zipper one step further and integrate it with a wide range of other virtualizations. For instance… CONTINUE READING
Highly Cited
This paper has 32 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-7 of 7 references

Flexible construction of software components: A feature oriented approach

  • C. Prehofer
  • Habilitation Thesis, Fakultät für Informatik der…
  • 1999
Highly Influential
7 Excerpts

Tagging monad transformer layers (2010) http://blog.sigfpe.com/2010/ 02/tagging-monad-transformer-layers.html

  • D. Piponi
  • 2010
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…