Carl A. Gunter University of Pennsylvania Didier R'emy INRIA, Rocquencourt...  Home/Search
Context
Related
| pauillac.inria.fr/~remy/w...cupto.ps.gz 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: pauillac.inria.fr/~remy/work/c... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: I completely changed the abstract to reflect the new structure and emphasis of the paper] We study the typing of control operators in a language with an ML-style type system. We introduce a new set of control operators that subsume most control operators that have been proposed for languages such as Scheme or ML. We prove subject reduction for the extended language. We also show how the new operators can easily encode a variety of already known constructs: callcc, shift and reset,... (Update)
Similar documents (at the sentence level):
50.5%: Return Types for Functional Continuations - Gunter, Rémy, Riecke (Correct)
40.3%: A Generalization of Exceptions and Control in ML-like.. - Gunter, Rémy.. (1995) (Correct)
Active bibliography (related documents): More All
0.3: A Library of High Level Control Operators - Queinnec (1993) (Correct)
0.2: On Evaluation Contexts, Continuations, and the Rest of Computation - Danvy (Correct)
0.2: A Syntactic Theory of Dynamic Binding - Moreau (1997) (Correct)
Similar documents based on text: More All
0.3: A Proof-Theoretic Assessment of Runtime Type Errors - Gunter, Rémy (1993) (Correct)
0.3: Reference Counting as a Computational Interpretation of.. - Chirimar, Gunter, Riecke (1996) (Correct)
0.2: Efficient Representation of Extensible Records - Rémy (2001) (Correct)
BibTeX entry: (Update)
@unpublished{ gunter98return,
author = "Carl A. Gunter and Didier R\'{e}my and Jon G. Riecke",
title = "Return Types for Functional Continuations",
year = "1998",
url = "citeseer.ist.psu.edu/630888.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
906 A structural approach to operational semantics - Plotkin - 1981
521 Compiling with Continuations (context) - Appel - 1992
138 Type inference for polymorphic references (context) - Tofte - 1990
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
81 The theory and practice of first-class prompts (context) - Felleisen - 1988
69 Typing first-class continuations in ML - Duba, Harper et al. - 1991
67 Representing monads - Filinski - 1994
63 Concurrent Programming in ML (context) - Reppy - 1995
55 Representing control: A study of the cps transformation - Danvy, Filinski - 1992
51 the expressive power of programming languages - Felleisen - 1991
37 Polymorphism for imperative languages without imperative typ.. - Wright - 1993
36 Reasoning with continuations II: Full abstraction for models.. - Sitaram, Felleisen - 1990
35 Continuations and concurrency (context) - Hieb, Dybvig - 1990
29 Polymorphism by name for references and continuations (context) - Leroy - 1993
27 LISP and Symbolic Computation (context) - Sitaram, Felleisen et al. - 1990
24 A dynamic extent control operator for partial continuations - Queinnec, Serpette - 1991
12 Exception are strictly more powerful than callcc - are, powerful et al. - 1995
11 A library of high level control operators - Queinnec - 1993
9 Edinburgh LCF: A Mechanical Logic of Computation (context) - Gordon, Milner et al. - 1979
9 Handling control - Sitaram - 1993
8 Partial continuations as the difference of continuations: A .. - Moreau, Queinnec - 1994
6 Available as Cornell Technical Report (context) - Reppy, PhD et al. - 1992
6 ML with callcc is unsound (context) - Harper, Lillibridge - 1991
3 Software and documentation available via URL httppauillac (context) - Objective, Software et al. - 1996
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