Amr Sabry, Philip Wadler  Home/Search
Context Related
| belllabs.com/~wad...tionjournal.ps.gz belllabs.com/who/...tionjournal.ps.gz belllabs.com/cm/c...tionjournal.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/~wadler/to...recent (more) From: belllabs.com/cm/cs/who/...recent (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This article is a revised and extended version of a paper that appeared in the ACM SIGPLAN International Conference on Functional Programming (Philadelphia, Pa.), 1996. Work started while the first author was at Chalmers University, and the second author was at University of Glasgow. Authors' addresses: A. Sabry, University of Oregon, Department of Computer and Information Science, Eugene, OR 97403; P. Wadler, Bell Laboratories, Lucent Technologies, 700 Mountain Avenue, Room 2T-304, Murray... (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):
46.5%: A Reflection on Call-by-Value - Sabry, Wadler (1996) (Correct)
Active bibliography (related documents): More All
0.4: Higher-Order and Reflexive Action Calculi: Their Type Theory .. - Gardner, Hasegawa (1998) (Correct)
0.3: Linearly Used E ects: - Monadic And Cps (Correct)
0.2: Computational Types from a Logical Perspective - Benton, Bierman (1995) (Correct)
Similar documents based on text: More All
0.5: Linear Logic, Monads and the Lambda Calculus - Benton, Wadler (1996) (Correct)
0.3: Linear Logic, Monads, and the Lambda Calculus - Benton, Wadler (1995) (Correct)
0.2: The Marriage of Effects and Monads - Wadler, Thiemann (1998) (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
291 Computational lambda-calculus and monads - Moggi - 1988
291 Computational lambda-calculus and monads - Moggi - 1989
242 Linear logic (context) - Girard - 1987
220 Orbit: An optimizing compiler for Scheme (context) - Kranz, Kelsey et al. - 1986
218 The mechanical evaluation of expressions (context) - Landin - 1964
169 A call-by-need lambda calculus - Ariola, Felleisen et al. - 1995
158 Reasoning about programs in continuation-passing style - Sabry, Felleisen - 1993
155 The essence of compiling with continuations - Flanagan, Sabry et al. - 1993
116 Rabbit: A compiler for Scheme (context) - Steele - 1978
87 Notions of computation and monads - Moggi - 1991
77 Dual intuitionistic linear logic (context) - Barber - 1995
42 Call-by-name (context) - Plotkin - 1975
37 A generic account of continuation-passing styles - Hatcliff, Danvy - 1994
31 Galois connections and computer science applications (context) - Melton, Schmidt et al. - 1985
29 A syntax for linear logic - Wadler
9 The discoveries of continuations - Reynolds - 1993
7 Call-by-name (context) - Maraist, Odersky et al. - 1995
5 Separating stages in the continuation-passing transform (context) - Lawall, Danvy - 1993
4 Linear logic (context) - Benton, Wadler - 1996
1 A reflection on call-by-value (context) - Symbol, -- et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.bell-labs.com/~wadler/topics/recent.html): More
A Statically Safe Alternative to Virtual Types - Bruce, Odersky, Wadler (1998) (Correct)
Pizza into Java: Translating theory into practice - Odersky (1997) (Correct)
Lazy vs. Strict - Wadler (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