Generic Models for Computational Effects

Cached

Download Links

by John Power
Citations:5 - 1 self

Documents Related by Co-Citation

379 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
734 Notions of Computation and Monads – Eugenio Moggi - 1991
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1318 Monads for functional programming – Philip Wadler - 1995
397 Category Theory for Computing Science – M Barr, C Wells - 1990
395 Algebraic Theory of Processes – M Hennessy - 1988
242 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
236 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995