Active Bibliography

23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
29 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
35 Semantic Lego – David Espinosa - 1995
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 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
55 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
12 Monads for Natural Language Semantics – Chung-Chieh Shan