Active Bibliography

Languages – Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. D. S. Oliveira
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
69 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze
27 Deriving Backtracking Monad Transformers – Ralf Hinze - 2000
12 Monads for Natural Language Semantics – Chung-Chieh Shan
Extensible Effects An Alternative to Monad Transformers – Oleg Kiselyov, Amr Sabry, Cameron Swords
A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner
96 How to Declare an Imperative – Philip Wadler - 1995
6 Achieving information flow security through monadic control of effects – William L. Harrison, James Hook - 2009
8 Modular monad transformers – Mauro Jaskelioff - 2009
2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff
88 Categorical Logic – Andrew M. Pitts - 1995
7 Building interpreters by transforming stratified monads – David Espinosa - 1994
7 Recursion is a Computational Effect – Daniel P. Friedman, Daniel P. Friedman, Amr Sabry, Amr Sabry - 2000
A Categorical Approach to Logics and Logic Homomorphisms – Robert Helgesson - 2007
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
Presheaf models for the π-calculus – Ian Stark - 1997