Carl A. Gunter, Didier Rémy, Jon G. Riecke  Home/Search
Context
Related
| inria.fr/INRIA/Projects...control.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/...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We study the typing of control operators in a language with an ML-style type system. We (Update)
Similar documents (at the sentence level):
38.8%: Return Types for Functional Continuations - Gunter, Rémy, Riecke (Correct)
31.1%: A Generalization of Exceptions and Control in ML-like.. - Gunter, Rémy.. (1995) (Correct)
Active bibliography (related documents): More All
0.3: Proc. 20th Symp. Principles of Programming Languages.. - Polymorphism By Name (Correct)
0.2: Minimal Classical Logic and Control Operators - Ariola, Herbelin (2003) (Correct)
0.2: The Formal Relationship Between Direct and Continuation-Passing.. - Sabry (1994) (Correct)
Similar documents based on text: More All
0.3: Exceptions, Continuations and Macro-Expressiveness - Laird (Correct)
0.2: REI: An Online Video Gaming platform - Remond, Mallard (2003) (Correct)
0.1: actionpeonI"Kx - On Tooluse And (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/article/gunter98return.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
521 Compiling with Continuations (context) - Appel - 1992 ACM
138 Type inference for polymorphic references (context) - Tofte - 1990 ACM DBLP
103 The Denition of Standard ML (context) - Milner, Tofte et al. - 1997
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
67 Representing monads - Filinski - 1994 ACM DBLP
63 Concurrent Programming in ML (context) - Reppy - 1995 ACM
55 Representing control: A study of the cps transformation - Danvy, Filinski - 1992 DBLP
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 ACM DBLP
35 Continuations and concurrency (context) - Hieb, Dybvig - 1990
29 Polymorphism by name for references and continuations (context) - Leroy - 1993 ACM DBLP
27 LISP and Symbolic Computation (context) - Sitaram, Felleisen et al. - 1990
24 A dynamic extent control operator for partial continuations - Queinnec, Serpette - 1991 ACM DBLP
12 Exception are strictly more powerful than callcc - are, powerful et al. - 1995
11 A library of high level control operators - Queinnec - 1993 ACM
9 Edinburgh LCF: A Mechanical Logic of Computation (context) - Gordon, Milner et al. - 1979
9 Handling control - Sitaram - 1993 ACM DBLP
7 Typing rst-class continuations in ML (context) - Duba, Harper et al. - 1991
6 Available as Cornell Technical Report (context) - Reppy, PhD et al. - 1992
6 ML with callcc is unsound (context) - Harper, Lillibridge - 1991
6 The theory and practice of rst-class prompts (context) - Felleisen - 1988
3 Software and documentation available via URL httppauillac (context) - Objective, Software et al. - 1996
1 Partial continuations as the di erence of continuations: A d.. (context) - Moreau, Queinnec - 1994
Documents on the same site (http://pauillac.inria.fr/~remy/publications.html): More
A Proof-Theoretic Assessment of Runtime Type Errors - Gunter, Rémy (1993) (Correct)
Syntactic Theories and the Algebra of Record Terms - Rémy (1993) (Correct)
Typing Record Concatenation for Free - Remy (1992) (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