O. Danvy, J.L. Lawall  Home/Search
Context Related
| brics.dk/RS/96/Ref...ICSRS9620.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: brics.dk/RS/96/Ref/BRICSRS96... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The direct-style transformation aims at mapping continuationpassing programs back to direct style, be they originally written in continuation-passing style or the result of the continuation-passingstyle transformation. In this paper, we continue to investigate the direct-style transformation by extending it to programs with first-class continuations. (Update)
Context of citations to this paper: More
...into a list of lists of integers, and we consider that zero is a separator in the input list. So our fields function maps the list [0,1,2,0,3,4,5,0,6] to the list [ 1,2] 3,4,5] 6] 2.1 A higher order solution Fifteen years ago, John Hughes chose the fields function to...
Cited by: More
The Occurrence of Continuation Parameters in CPS Terms - Danvy, Pfenning (1995) (Correct)
Back to Direct Style - Olivier Danvy Department (1992) (Correct)
Separating Stages in the Continuation-Passing Style.. - Lawall, Danvy (1993) (Correct)
Similar documents (at the sentence level):
10.0%: Back to Direct Style II: First-Class Continuations - Danvy, Lawall (1992) (Correct)
Active bibliography (related documents): More All
0.0: Typing First-Class Continuations in ML - Duba, Harper, MacQueen (1991) (Correct)
0.0: Partial Evaluation: Principles and Perspectives - Consel, Danvy (1993) (Correct)
0.0: The Formal Relationship Between Direct and Continuation-Passing.. - Sabry (1994) (Correct)
Similar documents based on text: More All
1.5: Semantics-Based Compiling: A Case Study in Type-Directed.. - Danvy, Vestergaard (1996) (Correct)
1.1: Eta-Expansion does the Trick - Danvy, Malmkjær, Palsberg (1996) (Correct)
1.1: Cut-Elimination for Full Intuitionistic Linear Logic - Braüner, de Paiva (1996) (Correct)
Related documents from co-citation: More All
29: Reasoning about programs in continuation-passing style - Sabry, Felleisen
21: Definitional interpreters for higher-order programming languages (context) - Reynolds - 1972
18: Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975
BibTeX entry: (Update)
Olivier Danvy and Julia L. Lawall. Back to direct style II: First-class continuations. In Clinger http://citeseer.ist.psu.edu/danvy96back.html More
@inproceedings{ danvy92back,
author = "Olivier Danvy and Julia L. Lawall",
title = "Back to Direct Style {II}: First-Class Continuations",
booktitle = "Proceedings of the 1992 {ACM} Conference on Lisp and Functional Programming",
address = "San Francisco, USA",
pages = "299--310",
year = "1992",
url = "citeseer.ist.psu.edu/danvy96back.html" }
Citations (may not include all citations):69 A tour of Schism: A partial evaluation system for higher-ord.. - Consel - 1993 DBLP
20 A transformational system for developing recursive programs (context) - Burstall, Darlington - 1977
20 A scheme for a higher-level semantic algebra (context) - Clinger, Friedman et al. - 1985 ACM
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.brics.dk/RS/96/Ref/BRICS-RS-96-Ref/): More
On a Question of A. Salomaa: The Equational Theory of.. - Aceto, Fokkink.. (1996) (Correct)
Proof of a Conjecture of S. Mac Lane - Soloviev (1996) (Correct)
Compositional and Symbolic Model-Checking of Real-Time Systems - Larson, Pettersson, Yi (1996) (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