Amr Sabry, Philip Wadler  Home/Search
Context Related
| uoregon.edu/~sabry/p...reflectiontr.ps indiana.edu/hyplan/s...reflectiontr.ps 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: uoregon.edu/~sabry/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A number of compilers exploit the following strategy: translate a term to continuationpassing style (CPS) and optimize the resulting term using a sequence of reductions. Recent work suggests that an alternative strategy is superior: optimize directly in an extended source calculus. We suggest that the appropriate relation between the source and target calculi may be captured by a special case of a Galois connection known as a reflection. Previous work has focused on the weaker notion of an... (Update)
Context of citations to this paper: More
.... these translations be lifted to formulas such that proofs of LV can be interpreted in LN and vice versa What is the exact relationship between the (untyped) systems LV and LN and the (typed) systems LPT and LUT of [11] What is the meaning of reflection (in the sense of [10])...
...axioms for computational types) then it is easy to prove also (v 1 , v 2 ) ret(v 1 , v 2 ) # . We have not tried to exploit the ideas in [SW96] to make the CBV translation better behaved w.r.t. reductions. We are doubtful that it can be done easily, because the definition of...
Cited by: More
Under consideration for publication in Math. Struct. in .. - Judgmental.. (Correct)
Categorical Structure of Continuation Passing Style - Thielecke (1997) (Correct)
A Monadic Multi-stage Metalanguage - Moggi, Fagorzi (2002) (Correct)
Similar documents (at the sentence level):
58.3%: A Reflection on Call-by-Value - Sabry, Wadler (1996) (Correct)
Active bibliography (related documents): More All
0.3: The Formal Relationship Between Direct and Continuation-Passing.. - Sabry (1994) (Correct)
0.3: The Formal Relationship between Direct and Continuation-Passing.. - Sabry (1994) (Correct)
0.2: Call-by-Name, Call-by-Value, Call-by-Need, and the.. - Maraist, Odersky.. (1998) (Correct)
Similar documents based on text: More All
0.6: From Syntactic Theories to Interpreters: Automating the.. - Xiao, Sabry, Ariola (2001) (Correct)
0.5: Monads and Composable Continuations - Wadler (1993) (Correct)
0.5: __________ - Quantitative Analytical Subject (Correct)
Related documents from co-citation: More All
12: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
11: Computational lambda-calculus and monads - Moggi - 1989
9: Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975
BibTeX entry: (Update)
Amr Sabry and Philip Wadler. A reflection on call-by-value. In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, April 1996. http://citeseer.ist.psu.edu/article/sabry96reflection.html More
@incollection{ sabry96reflection,
author = "Amr Sabry and Philip Wadler",
title = "A Reflection on Call-by-Value",
booktitle = "Proceedings 1st {ACM} {SIGPLAN} Int.\ Conf.\ on Funct.\ Prog., {ICFP}'96, Philadelphia, {PA}; 24--26 May 1996",
volume = "SIGPLAN Notices, 31(6)",
publisher = "ACM Press",
address = "New York",
pages = "13--24",
year = "1996",
url = "citeseer.ist.psu.edu/article/sabry96reflection.html" }
Citations (may not include all citations):562 Categories for the Working Mathematician (context) - Lane - 1971
521 Compiling with Continuations (context) - Appel - 1992
509 Introduction to Lattices and Order (context) - Davey, Priestley - 1990
369 Information and Computation (context) - Moggi - 1991 DBLP
291 Computational lambda-calculus and monads - Moggi - 1988 ACM DBLP
291 Computational lambda-calculus and monads - Moggi - 1989 ACM DBLP
283 Theoretical Computer Science (context) - Plotkin - 1975 ACM
220 Orbit: An optimizing compiler for Scheme (context) - Kranz - 1986 ACM DBLP
218 The mechanical evaluation of expressions (context) - Landin - 1964
169 A callby -need lambda calculus - Ariola, Felleisen et al. - 1995
158 Reasoning about programs in continuation-passing style - Sabry, Felleisen - 1993 ACM DBLP
155 The essence of compiling with continuations - Flanagan, Sabry et al. - 1993 ACM DBLP
43 A taste of linear logic - Wadler - 1993 ACM DBLP
39 Massachusetts Institute of Technology (context) - Steele, Rabbit - 1978
37 A generic account of continuation-passing styles - Hatcliff, Danvy - 1994 ACM DBLP
29 A syntax for linear logic - Wadler - 1993 ACM DBLP
24 Lisp and Symbolic Computation (context) - Reynolds - 1993
23 A reflection on call-by-value - Sabry, Wadler - 1996 ACM DBLP
8 call-by-need and the linear lambda calculus (context) - Maraist - 1995
5 Separating stages in the continuation-passing transform (context) - Lawall, Danvy - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.uoregon.edu/~sabry/papers/): More
Correctness of Monadic State: An Imperative Call-by-Need Calculus - Ariola, Sabry (1998) (Correct)
Is Continuation-Passing Useful for Data Flow Analysis? - Amr Sabry (1994) (Correct)
Debugging Reactive Systems in Haskell - Sabry, Sparud (1997) (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