|
23
|
Combining effects: sum and tensor
– Martin Hyland, Gordon Plotkin, John Power
|
|
2
|
COPRODUCTS OF IDEAL MONADS
– Neil Ghani, Tarmo Uustalu
- 2004
|
|
8
|
Countable Lawvere Theories and Computational Effects
– John Power
- 2006
|
|
|
Presheaf models for the π-calculus
– Ian Stark
- 1997
|
|
18
|
Combining Computational Effects: Commutativity and Sum
– Martin Hyland, Gordon Plotkin, John Power
- 2002
|
|
6
|
Combining algebraic effects with continuations
– Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power
- 2007
|
|
7
|
Monads and Modularity
– Christoph Lüth, Neil Ghani
|
|
22
|
Computational Effects and Operations: An Overview
– Gordon Plotkin, John Power
- 2004
|
|
1
|
Monad Transformers as Monoid Transformers
– Mauro Jaskelioff
|
|
1
|
Abstract Modularity
– Michael Abbott, Neil Ghani, Christoph Lüth
- 2005
|
|
5
|
Generic Models for Computational Effects
– John Power
|
|
6
|
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
– Martin Hyland, John Power
- 2007
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
|
Modular Monadic Semantics
– Sheng Liang, Paul Hudak
|
|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
35
|
Semantic Lego
– David Espinosa
- 1995
|
|
1
|
Finitary construction of free algebras for equational systems
– Marcelo Fiore, Chung-kil Hur
- 2008
|
|
1
|
Equational Systems and Free Constructions (Extended Abstract)
– Marcelo Fiore, Chung-kil Hur
|
|
5
|
Algebras, Coalgebras, Monads and Comonads
– Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
- 2001
|
