Semantics for Local Computational Effects

Electronic Notes in Theoretical Computer Science

Volumn 158, Issue 1, 2006, Pages 355-371

  Power, John ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

global state; indexed Lawvere theory; Lawvere theory; local state; model; monad

Indexed keywords

COMPUTATION THEORY; COMPUTER SCIENCE; MATHEMATICAL MODELS; NUMERICAL METHODS;

GLOBAL STATE; INDEXED LAWVERE THEORY; LAWVERE THEORY; LOCAL STATE; MONAD;

SEMANTICS;

EID: 33646157313     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.04.018     Document Type: Article

References (17)

1. Hyland, J.M.E., G.D. Plotkin and John Power, Combining Effects: Sum and Tensor, Theoretical Computer Science (to appear)
2. Kelly G.M. Basic Concepts of Enriched Category Theory (1982), Cambridge University Press, Cambridge
3. Levy P.B. Call-by-Push-Value: A Subsuming Paradigm. Proc. TLCA '99. Lecture Notes in Computer Science 1581 (1999) 228-242
4. Levy P.B. Call-by-push-value. A Functional/Imperative Synthesis. Semantic Structures in Computation (2004), Springer, Berlin
5. Mac Lane S. Categories for the Working Mathematician (1971), Springer, Berlin
6. Moggi E. Computational Lambda-Calculus and Monads. Proc. LICS '89 (1989), IEEE Press 14-23
7. Moggi E. Notions of computation and monads. Information and Computation 93 (1991) 55-92
8. O'Hearn P.W., and Tennent R.D. Algol-like Languages. Progress in Theoretical Computer Science (1997), Birkhauser, Boston
9. Plotkin G.D., and Power J. Adequacy for Algebraic Effects. Proc. FOSSACS 2001. Lecture Notes in Computer Science 2030 (2001) 1-24
10. Plotkin G.D., and Power J. Notions of Computation Determine Monads. Proc. FOSSACS 2002. Lecture Notes in Computer Science 2303 (2002) 342-356
11. Plotkin G.D., and Power J. Erratum, See the webpage. http://homepages.inf.ed.ac.uk/gdp/publications/
12. Plotkin G.D., and Power J. Computational Effects and Operations: an Overview. Proc. Domains 2002. Electronic Notes in Theoretical Computer Science 73 (2002) 149-163
13. Plotkin, G.D., and John Power, Logic for Computational Effects: work in progress, Proc. International Workshop on Formal Methods 03, British Computer Society Electronic Workshops in Computing (2003)
14. Power, John, Countable Lawvere Theories and Computational Effects, Proc. MFCSIT 04, Electronic Notes in Theoretical Computer Science (to appear)
15. Power, John, Generic Models for Computational Effects, Theoretical Computer Science (to appear)
16. Power J., and Shkaravska O. From Models to Comodels: State and Arrays. Proc. CMCS 2004. Electronic Notes in Theoretical Computer Science 100 (2004) 185-200
17. Stark I. Categorical Models for Local Names. Lisp and Symbolic Computation 9 (1996) 77-107