Algebraic operations and generic effects

Applied Categorical Structures

Volumn 11, Issue 1, 2003, Pages 69-94

  Plotkin, Gordon ^a   Power, John ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Algebraic operation; Computational effect; Lawvere theory; Monad

Indexed keywords

ALGEBRA; APPROXIMATION THEORY; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; SEMANTICS; SET THEORY;

GENERIC EFFECTS;

COMPUTER SCIENCE;

EID: 0038300359     PISSN: 09272852     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1023064908962     Document Type: Article

References (24)

1. Anderson, S. O. and Power, A. J.: A Representabes approach to finite nondeterminism, Theoretical Computer Science 177(1) (1997), 3-25.
2. Benton, N., Hughes, J. and Moggi, E.: Monads and effects, in Advanced Lectures from International Summer School on Applied Semantics (eds. Barthe, G., Dybjer, P., Pinto, L. and Saraiva, J.), Lecture Notes in Computer Science, Vol. 2395, pp. 42-122, Springer-Verlag, Berlin, 2002.
3. Day, B.: On closed categories of functors, in Reports of the Midwest Category Seminar IV, Lecture Notes in Math. 137, Springer-Verlag, Berlin, 1970, pp. 1-38.
4. Dubuc, E.: Kan Extensions in Enriched Category Theory, Lecture Notes in Math. 145, Springer-Verlag, Berlin, 1970.
5. Fuhrmann, C. and Thielecke, H.: On the call-by-value CPS transform and its semantics, Information and Computation, to appear.
6. Heckmann, R.: Probabilistic domains, in Proc. CAAP '94, Lecture Notes in Computer Science 136, Springer-Verlag, Berlin, 1994, pp. 21-56.
7. Hyland, M., Plotkin, G. D. and Power, A. J.: Combining computational effects: Commutativity and sum, in R. Baeza-Yates, U. Montanari and N. Santoro (eds), Foundations of Information Technology in the Era of Network and Mobile Computing, pp. 474-484, Kluwer, 2002.
8. Jones, C.: Probabilistic non-determinism, Ph.D. Thesis, University of Edinburgh, Report ECS-LFCS-90-105, 1990.
9. Jones, C. and Plotkin, G. D.: A probabilistic powerdomain of evaluations, in Proceedings of the 4th LICS, Asilomar, IEEE Press, Washington, 1989, pp. 186-195.
10. Kelly, G. M.: Basic Concepts of Enriched Category Theory, Cambridge University Press, Cambridge, 1982.
11. Levy, P. B.: Call-by-push-value: A subsuming paradigm, in J.-Y. Girard (ed.), Proc. TLCA '99, Lecture Notes in Computer Science 1581, Springer-Verlag, Berlin, 1999, pp. 228-242.
12. Mac Lane, S.: Categories for the Working Mathematician, Springer-Verlag, Berlin, 1971.
13. Moggi, E.: Computational lambda-calculus and monads, in Proceedings of LICS '89, IEEE Press, Washington, 1989, pp. 14-23.
14. Moggi, E.: An abstract view of programming languages, University of Edinburgh, Report ECS-LFCS-90-113, 1989.
15. Moggi, E.: Notions of computation and monads, Information and Computation 93(1) (1991), 55-92.
16. O'Hearn, P. W. and Tennent, R. D.: Algol-like Languages, Progress in Theoretical Computer Science, Birkhäuser, Boston, 1997.
17. Milner, R., Tofte, M., Harper, R. and MacQueen, D.: The Definition of Standard ML - Revised, MIT Press, Cambridge, 1997.
18. Plotkin, G. D.: A powerdomain construction, SIAM Journal on Computing 5(3) (1976), 452-487.
19. Plotkin, G. D.: Domains, http://www.dcs.ed.ac.uk/home/gdp/, 1983.
20. Plotkin, G. D. and Power, A. J.: Adequacy for algebraic effects, in F. Honsell and M. Miculan (eds), Proceedings of FOSSACS '01, Lecture Notes in Computer Science 2030, Springer-Verlag, Berlin, 2001, pp. 1-24.
21. Plotkin, G. D. and Power, A. J.: Semantics for algebraic operations (extended abstract), in S. Brookes and M. Mislove (eds), Proceedings of MFPS XVII, Electronic Notes in Theoretical Computer Science 45, Elsevier, Amsterdam, 2001.
22. Plotkin, G. D. and Power, A. J.: Notions of computation determine monads, in M. Nielsen and U. Engberg (eds), Proceedings of FOSSACS '02, Lecture Notes in Computer Science 2303, Springer-Verlag, Berlin, 2002, pp. 342-356.
23. Power, A. J.: Enriched Lawvere theories, in Theory and Applications of Categories, 2000, pp. 83-93.
24. Power, A. J.: Models for the computational lambda calculus, in T. Hurley, M. Mac an Airchinnigh, M. Schellekens and A. K. Seda (eds), Proceedings of MFCSIT 2000, Electronic Notes in Theoretical Computer Science 40, Elsevier, Amsterdam, 2001.