Active Bibliography

439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
14 Fixed Points and Extensionality in Typed Functional Programming Languages – Brian T. Howard - 1992
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
23 Domain theory for concurrency – Mikkel Nygaard - 2003
1 The Varieties of Programming Language Semantics And Their Uses – Peter D. Mosses - 2001
Towards a Categorical Axiomatics of Bisimulation – Gian Luca Cattani, A. John Power, Glynn Winskel - 1999
4 Compositional Characterization of Observable Program Properties – Bernhard Steffen, C. Barry Jay, Michael Mendler
23 A Category-Theoretic Account of Program Modules – Eugenio Moggi - 1994
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
8 Combining algebraic effects with continuations – Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power - 2007
23 Categorical Models of Linear Logic Revisited – Paul-andré Melliès - 2003
60 A Semantics for Shape – C. Barry Jay - 1995
4 Coalgebras and Monads in the Semantics of Java – Bart Jacobs, Erik Poll - 2002
23 A HOL basis for reasoning about functional programs – Sten Agerholm - 1994
2 Matrices, Monads and the Fast Fourier Transform – C. Barry Jay - 1993
3 An Equational Notion of Lifting Monad – Anna Bucalo, Carsten Führmann, Alex Simpson - 2003
5 On the call-by-value CPS transform and its semantics – Carsten Führmann , Hayo Thielecke - 2004