Martin Hyland, Paul Blain Levy, Gordon Plotkin, John Power  Home/Search
Context
Related
| dcs.ed.ac.uk/home/gdp/pu...comb_cont.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: dcs.ed.ac.uk/home/gdp/publicat... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A fundamental question, in modelling computational effects, is how to give a unified semantic account of modularity, i.e., a mathematical theory that supports the various combinations one naturally makes of computational effects such as exceptions, side-effects, interactive input/output, nondeterminism, and, particularly for this workshop, continuations [2, 3, 5]. We have begun to give such an account over recent years for all of these effects other than continuations [8], describing the sum... (Update)
Active bibliography (related documents): More All
1.0: Combining Effects: Sum and Tensor - Hyland, Plotkin, Power (Correct)
0.5: Algebraic Operations and Generic Effects - Plotkin, Power (Correct)
0.4: A Sound and Complete Axiomatization of Delimited Continuations - Kameyama, Hasegawa (2003) (Correct)
Similar documents based on text: More All
0.7: Combining Continuations with Other Effects - Hyland, Levy, Plotkin, Power (Correct)
0.3: Combining Computational Effects: Commutativity and Sum - Hyland, Plotkin, Power (2002) (Correct)
0.2: Call-By-Push-Value: A Subsuming Paradigm - Levy (1999) (Correct)
BibTeX entry: (Update)
@misc{ hyland-combining,
author = "Martin Hyland and Paul Blain Levy and Gordon Plotkin and John Power",
title = "Combining Continuations with Other Effects",
url = "citeseer.ist.psu.edu/688704.html" }
Citations (may not include all citations):115 Revised 5 Report on the Algorithmic Language Scheme - Kelsey, Clinger et al. - 1998
87 Notions of Computation and Monads - Moggi - 1991
75 A Syntactic Theory of Sequential Control (context) - Felleisen, Friedman - 1987
28 Adjunctions whose Counits are Coequalizers (context) - Kelly, Power - 1993
19 A Syntactic Approach to Modularity in Denotational Semantics - Cenciarelli, Moggi - 1993
15 Sound and Complete Axiomatisations of Call-by-Value Control .. - Hofmann - 1995
10 Notions of Computation Determine Monads - Plotkin, Power - 2002
7 Monads and E ects (context) - Benton, Hughes et al. - 2002
7 Accomplishments and Open Problems (context) - Fiore, Jung et al. - 1996
6 Call-By-Push-Value (context) - Levy - 2001
4 London Mathematical Society Lecture Note Series (context) - Ad, Rosick et al. - 1994
4 Comparing Control Constructs by Double-Barrelled CPS - Thielecke - 2002
3 Composing Monads Using Coproducts (context) - Luth, Ghani - 2002
3 the Call-by-Value CPS Transform and its Semantics - Fuhrmann, Thielecke
3 A Uni ed Treatment of Trans nite Constructions for Free Alge.. (context) - Kelly - 1980
3 ects: Sum and Tensor (context) - Hyland, Plotkin et al.
1 Continuations and Macro-expressiveness (context) - Laird - 2002
1 Contrasting Exceptions and Continuations - Thielecke
Documents on the same site (http://www.dcs.ed.ac.uk/home/gdp/publications/): More
Notions of Computation Determine Monads - Plotkin, Power (2002) (Correct)
Semantics for Algebraic Operations - Plotkin, Power (2001) (Correct)
Bialgebraic Semantics and Recursion - Plotkin (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