Composing Monads Using Coproducts (2002)

by Christoph Lüth , Neil Ghani
Citations:24 - 2 self

Documents Related by Co-Citation

236 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
1318 Monads for functional programming – Philip Wadler - 1995
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
459 Comprehending Monads – Philip Wadler - 1992
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002
736 Security policies and security models – J Goguen, J Meseguer