Composing monads using coproducts

by Christoph Lüth , Neil Ghani
Venue:ACM SIGPLAN Notices
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
459 Comprehending Monads – Philip Wadler - 1992
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
1115 The Z Notation: A Reference Manual – J M Spivey - 1989
497 Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems – Joseph Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt - 1992
482 Interactive Theorem Proving and Program Development – Y, P Casteran - 2004