Gordon Plotkin, John Power  Home/Search
Context
Related
| homepages.inf.ed.a...ops_gen_effects.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: homepages.inf.ed.ac.uk/gdp/pub... (more) Homepages: G.Plotkin |
Rate this article:      (best)Comment on this article |
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