See this document in CiteSeerX!

Algebraic Operations and Generic Effects  (Make Corrections)  
Gordon Plotkin, John Power



  Home/Search   Context   Related

 
View or download:
homepages.inf.ed.a...ops_gen_effects.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  homepages.inf.ed.ac.uk/gdp/pub... (more)
Homepages:  G.Plotkin  

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Given a complete and cocomplete symmetric monoidal closed category V and a symmetric monoidal V-category C with cotensors and a strong V-monad T on C, we investigate axioms under which an ObC-indexed family of operations of the form α_x : (Tx)^ν → (Tx)^ω provides semantics for algebraic operations on the computational λ-calculus. We recall a definition for which we have elsewhere given adequacy results, and we show that an enrichment of it is equivalent to a range of... (Update)

Similar documents (at the sentence level):
20.1%:   Semantics for Algebraic Operations - Plotkin, Power (2001)   (Correct)

Active bibliography (related documents):   More   All
1.0:   Notions of Computation Determine Monads - Plotkin, Power (2002)   (Correct)
0.8:   Computational Effects and Operations: An Overview - Plotkin, Power (2002)   (Correct)
0.6:   Combining Computational Effects: Commutativity and Sum - Hyland, Plotkin, Power (2002)   (Correct)

Similar documents based on text:   More   All
0.3:   Adequacy for Algebraic Effects - Plotkin, Power   (Correct)
0.1:   Combining Continuations with Other Effects - Hyland, Levy, Plotkin, Power   (Correct)
0.1:   Lax Logical Relations - Plotkin, Power, Sannella, Tennent (2000)   (Correct)

BibTeX entry:   (Update)

@misc{ plotkin-algebraic,
  author = "Gordon Plotkin and John Power",
  title = "Algebraic Operations and Generic Effects",
  url = "citeseer.ist.psu.edu/720138.html" }
Citations (may not include all citations):
562   Categories for the Working Mathematician (context) - Lane - 1971
291   Computational Lambda-Calculus and Monads - Moggi - 1989
156   Basic Concepts of Enriched Category Theory (context) - Kelly - 1982
146   A Powerdomain Construction (context) - Plotkin - 1976
93   A Probabilistic Powerdomain of Evaluations (context) - Jones, Plotkin - 1989
87   Notions of computation and monads - Moggi - 1991
83   Probabilistic Non-Determinism (context) - Jones - 1990
72   An Abstract View of Programming Languages (context) - Moggi - 1989
29   On Closed Categories of Functors (context) - Day - 1970
21   Progress in Theoretical Computer Science (context) - O'Hearn, Tennent et al. - 1997
15   Call-by-Push-Value: A Subsuming Paradigm - Levy - 1999
13   Kan Extensions in Enriched Category Theory (context) - Dubuc - 1970
10   Probabilistic Domains - Heckmann - 1994
10   Notions of Computation Determine Monads - Plotkin, Power - 2002
10   A Representable Approach to Finite Nondeterminism (context) - Anderson, Power - 1997
9   Semantics for Algebraic Operations - Plotkin, Power - 2001
9   Enriched Lawvere Theories - Power - 2000
7   Monads and E#ects (context) - Benton, Hughes et al. - 2000
6   ects: Commutativity and Sum (context) - Hyland, Plotkin et al. - 2002
6   Adequacy for Algebraic E#ects - Plotkin, Power - 2001
3   the Call-by-Value CPS Transform and its Semantics - Fuhrmann, Thielecke
1   MacQueen The Definition of Standard ML---Revised (context) - Milner, Tofte et al. - 1997

Documents on the same site (http://homepages.inf.ed.ac.uk/gdp/publications/):   More
Full Abstraction, Totality and PCF - Plotkin (1997)   (Correct)
Subtyping and Parametricity - Plotkin, Abadi, Cardelli (1993)   (Correct)
Complete Axioms for Categorical Fixed-point Operators - Simpson, Plotkin (2000)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC