Olivier Danvy  Home/Search
Context
Related
| daimi.au.dk/~danvy/Papers/fac.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: daimi.au.dk/~danvy/research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper points out and illustrates continuations as functions abstracting a delimited context instead of an unlimited one. When made available in an expression language, they provide a functional abstraction of control that can be used as any ordinary function. This approach sheds some light on the applicative aspects of continuations by getting rid of their imperative part: escaping. Continuations are made available as true, composable, and statically typable functions. They abstract a... (Update)
Active bibliography (related documents): More All
1.5: Abstracting Control - Danvy, Filinski (1990) (Correct)
1.0: A Blond Primer - Danvy, Malmkjær (1988) (Correct)
0.6: A Functional Abstraction of Typed Contexts - Danvy, Filinski (1989) (Correct)
Similar documents based on text: More All
0.2: Intensions and Extensions in a Reflective Tower - Danvy, Malmkjær (1988) (Correct)
0.2: Towards Logical Understanding of Delimited Continuations - Kameyama (2001) (Correct)
0.2: Automatic Autoprojection of Recursive Equations with Global.. - Bondorf, Danvy (1990) (Correct)
BibTeX entry: (Update)
@inproceedings{ danvy88some,
author = "O. Danvy",
title = "On Some Functional Aspects of Control",
booktitle = "Aspen{\ae}s Workshop on Implementation of Functional Languages",
publisher = "Programming Methodology Group, University of G{\"o}teborg and Chalmers University of Technology",
editor = "T. Johnsson et al.",
pages = "445--450",
year = "1988",
url = "citeseer.ist.psu.edu/danvy88some.html" }
Citations (may not include all citations):7 Department of Computer Science (context) - Felleisen, of et al. - 1987
4 John Merrill: Beyond Continuations (context) - Felleisen, Friedman et al. - 1987
4 Duba: Abstract Continuations: a Mathematical Semantics for H.. (context) - Felleisen, Wand et al. - 1988
4 Wadsworth: Continuations: a Mathematical Semantics for Handl.. (context) - Strachey - 1974
3 Andrzej Filinski: A Functional Abstraction of Typed Contexts (context) - Danvy - 1988
2 Landin: A Correspondance between ALGOL 60 and Church's Lambd.. (context) - Peter - 1965
2 Computer Science Department (context) - Dybvig, Hieb et al. - 1988
2 Eugene Kohlbecker: Programming with Continuations (context) - Friedman, Haynes - 1984
1 Burge: Recursive Programming Techniques (context) - William - 1975
1 No 3 pp (context) - McCarthy, of et al. - 1960
1 Karoline Malmkjr: An Approach for Formalizing Computational .. (context) - Danvy - 1988
1 Andrzej Filinski: Continuation-Composing Style: Programming .. (context) - Danvy - 1988
1 Riecke: Continuations May Be Unreasonable: Preliminary Repor.. (context) - Meyer - 1988
1 Jerome Chailloux: Lisp Puzzles (context) - Queinnec - 1988
Documents on the same site (http://www.daimi.au.dk/~danvy/research.html):
Three Steps for the CPS Transformation - Danvy (1991) (Correct)
A Functional Abstraction of Typed Contexts - Danvy, Filinski (1989) (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