Combining Computational Effects: Commutativity and Sum (2002)

by Martin Hyland , Gordon Plotkin , John Power
Citations:19 - 4 self

Documents Related by Co-Citation

445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
734 Notions of Computation and Monads – Eugenio Moggi - 1991
379 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
166 An abstract view of programming languages – E Moggi - 1989
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
459 Comprehending Monads – Philip Wadler - 1992
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
42 Toposes, triples and theories. Grundlehren der mathematischen Wissenschaften 278 – Wells - 1985
142 Abstract syntax and variable binding – M Fiore, G Plotkin, D Turi - 1999