Active Bibliography

24 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
30 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
1 A Monadic Interpretation of Tactics – Andrew Martin, Jeremy Gibbons - 2002
69 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
37 Semantic Lego – David Espinosa - 1995
6 Algebras, Coalgebras, Monads and Comonads – Neil Ghani, Christoph Lüth, Federico De Marchi, John Power - 2001
1 Dualizing Initial Algebras – Neil Ghani, Christoph Lüth, Federico de Marchi, John Power - 2002
1 Abstract Modularity – Michael Abbott, Neil Ghani, Christoph Lüth - 2005
Languages, Theory – Neil Ghani, Tarmo Uustalu
6 Continuous Previsions – Jean Goubault-Larrecq
Aspect-Oriented Programming versus Reflection – J. Malenfant, P. Cointe - 1996
Presheaf models for the π-calculus – Ian Stark - 1997
Modular Monadic Semantics – Sheng Liang, Paul Hudak
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
7 Recursion is a Computational Effect – Daniel P. Friedman, Daniel P. Friedman, Amr Sabry, Amr Sabry - 2000
12 Monads for Natural Language Semantics – Chung-Chieh Shan
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze