Active Bibliography

21 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
2 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
23 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
8 Countable Lawvere Theories and Computational Effects – John Power - 2006
1 A Monadic Interpretation of Tactics – Andrew Martin, Jeremy Gibbons - 2002
35 Semantic Lego – David Espinosa - 1995
64 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
5 Algebras, Coalgebras, Monads and Comonads – Neil Ghani, Christoph Lüth, Federico De Marchi, John Power - 2001
Dualizing Initial Algebras – Neil Ghani, Christoph Lüth, Federico de Marchi, Chr I Stoph L, John Power - 2002
1 Abstract Modularity – Michael Abbott, Neil Ghani, Christoph Lüth - 2005
Languages, Theory – Neil Ghani, Tarmo Uustalu
6 Combining algebraic effects with continuations – Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power - 2007
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
10 Monads for Natural Language Semantics – Chung-Chieh Shan
7 Recursion is a Computational Effect – Daniel P. Friedman, Daniel P. Friedman, Amr Sabry, Amr Sabry - 2000
52 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996