Carl Gunter, Didier Rémy, Jon G. Riecke  Home/Search
Context
Related
| belllabs.com/dist...returntypes.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: belllabs.com/cm/cs/who/rie...bib (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We add functional continuations and prompts to a language with an ML-style type system. The operators extend and simplify the control operators in Standard ML of New Jersey (SML/NJ) and Scheme, and can be themselves used to implement (simple) exceptions and references. We prove that well-typed terms never produce run-time type errors, and give a module for implementing functional continuations in SML/NJ. 1 Introduction Control operations are a heavily used feature in mostly functional... (Update)
Similar documents (at the sentence level):
52.9%: A Generalization of Exceptions and Control in ML-like.. - Gunter, Rémy.. (1995) (Correct)
48.8%: Return Types for Functional Continuations - Gunter, Rémy, Riecke (1998) (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.4: Exceptions, Continuations and Macro-Expressiveness - Laird (Correct)
0.2: Linearly Used Continuations - Berdine, O'Hearn, Reddy, Thielecke (2001) (Correct)
0.1: Objective ML: A simple object-oriented extension of ML - Remy, Vouillon (1997) (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/230651.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997 ACM
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
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
81 The theory and practice of first-class prompts (context) - Felleisen - 1988 ACM DBLP
69 Typing first-class continuations in ML - Duba, Harper et al. - 1991 ACM DBLP
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 ACM DBLP
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 Exceptions are strictly more powerful than call/cc - Lillibridge - 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
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 the URL http://paui.. (context) - Leroy, Caml - 1996
Documents on the same site (http://cm.bell-labs.com/cm/cs/who/riecke/bib.html): More
Conditions for the Completeness of Functional and.. - Riecke, Subrahmanyam (1998) (Correct)
Simple objects for Standard ML - Reppy, Riecke (1996) (Correct)
Region Analysis and the Polymorphic Lambda Calculus - Banerjee, Heintze, Riecke (1999) (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