Canonical models for computational effects

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2987, Issue , 2004, Pages 438-452

  Power, John ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATIONAL MECHANICS; DIFFERENTIATION (CALCULUS);

BASIC OPERATION; CANONICAL MODELING; CANONICAL MODELS; COMPUTATIONAL EFFECTS; COMPUTATIONAL LAMBDA CALCULUS; INTERACTIVE INPUT; NON-DETERMINISM; UNIFIED CONSTRUCTION;

COMPUTATION THEORY;

EID: 33749533067     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24727-2_31     Document Type: Article

References (21)

1. N. Benton, J. Hughes, and E. Moggi, Monads and effects, in Advanced Lectures form International Summer School on Applied Semantics, LNCS, Vol. 2395, pp. 42-122, Berlin: Springer-Verlag, 2002.
2. A. Carboni, S. Lack, and R. F. C. Walters, Introduction to extensive and distributive categories, J. Pure Appl. Algebra, Vol. 84, pp. 145-158, 1993.
3. M. Fiore, G. D. Plotkin, and D. Turi, Abstract syntax and variable binding, in Proc. LICS 99, pp. 214-224, Washington: IEEE Press, 1999.
4. M. Hyland, P. B. Levy, G. D. Plotkin, and A. J. Power, Combining continuations with other effects, submitted.
5. M. Hyland, G. D. Plotkin, and A. J. Power, Combining computational effects: commutativity and sum, in Proc. IFIP Conf. On Theoretical Computer Science, pp. 474-484, Kluwer, 2002.
6. M. Hyland, G. D. Plotkin, and A. J. Power, Combining computational effects: sum and tensor, submitted.
7. Y. Kinoshita and A. J. Power, Data Refinement in Call-by-Value Languages, in Proc. CSL '99, LNCS, Vol. 1683, pp. 562-576 Berlin: Springer-Verlag, 1999.
8. P. B. Levy, A. J. Power, and H. Thielecke, Modelling environments in call-by-value programming languages, Information and Computation, Vol. 185, pp. 182-210, 2003.
9. S. Mac Lane and I. Moerdijk, Sheaves in Geometry and Logic, Berlin: SpringerVerlag, 1992.
10. E. Moggi, Computational lambda-calculus and monads, in Proc. LICS '89, pp. 14-23, Washington: IEEE Press, 1989.
11. E. Moggi, Notions of computation and monads, Inf. and Comp., Vol. 93, No. 1, pp. 55-92, 1991.
12. E. Moggi, A Semantics for Evaluation Logic, Fundamenta Informaticae, Vol. 22, 1995.
13. G. D. Plotkin and A. J. Power, Adequacy for Algebraic Effects, in Proc. FOSSACS 2001. LNCS, Vol. 2030, pp. 1-24, Berlin: Springer-Verlag, 2001.
14. G. D. Plotkin and A. J. Power, Notions of Computation Determine Monads, in Proc. FOSSACS 2002, LNCS, Vol. 2303, pp. 342-356, Berlin: Springer-Verlag, 2002.
15. G. D. Plotkin and A. J. Power, Algebraic Operations and Generic Effects, in Proc. MFCSIT 2000, Applied Categorical Structures, Vol. 11, No. 1, pp. 69-94, 2003.
16. G. D. Plotkin and A. J. Power, Computational Effects and Operations: an Overview, in Proc. Domains 2002, ENTCS, Vol. 73, 2002.
17. G. D. Plotkin and A. J. Power, Logic for Computational Effects, in Proc. International Workshop on Formal Methods 03, to appear.
18. A. J. Power, Models of the Computational A-calculus, in Proc. MFCSIT 2000, ENTCS, Vol. 40, 2001.
19. A.J. Power, Premonoidal categories as categories with algebraic structure, Theoretical Computer Science, Vol. 278, pp. 303-321, 2002.
20. A. J. Power, A Universal Embedding for the Higher Order Structure of Computational Effects, in Proc. TLCA 2003, LNCS, Vol. 2701, pp. 301-315.
21. A. J. Power and E. P. Robinson, Premonoidal categories and notions of computation, in Proc. LDPL 96, Math Structures in Computer Science, Vol. 7, pp. 453-468, 1997.