211 Publications (Page 7 of 9)
1997
Monadic state:axiomatization and type safety
Launchbury, John and Sabry, Amr
International Conference on Functional Programming: Proceedings of the second ACM SIGPLAN international conference on Functional programming : Amsterdam, The Netherlands; 09-11 June 1997. 1997. | Conference Proceeding
 
Monadic state: Axiomatization and type safety
Launchbury, John and Sabry, Amr
The 1997 ACM SIGPLAN International Conference on Functional Programming, ICFP; Amsterdam; Neth; 09-11 June 1997. 1997. | Conference Proceeding
 
Monadic State: Axiomatization and Type Safety
 
The Effects of
 
The Effects of
1996
A reflection on call-by-value
Sabry, Amr and Wadler, Philip
ACM SIGPLAN Notices, vol. 31, (no. 6), pp. 13-24, 1996. | Journal Article
 
A reflection on call-by-value
Sabry, Amr and Wadler, Philip
International Conference on Functional Programming: Proceedings of the first ACM SIGPLAN international conference on Functional programming; 24-26 May 1996. 1996. | Conference Proceeding
 
A Reflection on Call-by-Value
 
Proving the correctness of reactive systems using sized types
 
Proving the Correctness of Reactive Systems Using Sized Types
Hammond, Kevin⋅Hughes, John⋅Michaelson, Gregory J⋅Pareto, Lars and Sabry, Amr
ACM Press. | Conference Proceeding
 
Reflection on call-by-value
Sabry, Amr and Wadler, Philip
(pp. 13-24)
1995
The formal relationship between direct and continuation-passing style optimizing compilers: A synthesis of two paradigms (Dissertation)
Sabry, Amr (1995).
1994
Is continuation-passing useful for data flow analysis?
Sabry, Amr and Felleisen, Matthias
ACM SIGPLAN Notices, vol. 29, (no. 6), pp. 1-12, 1994. | Journal Article
 
Is continuation-passing useful for data flow analysis?
Sabry, Amr and Felleisen, Matthias
Conference on Programming Language Design and Implementation: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation; 20-24 June 1994. 1994. | Conference Proceeding
 
Is Continuation-Passing Useful for Data Flow Analysis?
 
The formal relationship between direct and continuation-passing style optimizing compilers - a synthesis of two paradigms
Sabry, Amr
 
The formal relationship between direct and continuation-passing style optimizing compilers - a synthesis of two paradigms (Dissertation)
Sabry, Amr (1994).
1993
Essence of compiling with continuations
Flanagan, Cormac⋅Sabry, Amr⋅Duba, Bruce F. and Felleisen, Matthias
(pp. 237-247)
 
Reasoning about Explicit and Implicit Representations of State
 
Reasoning about programs in continuation-passing style
Sabry, Amr and Felleisen, Matthias
LISP and Symbolic Computation, vol. 6, (no. 3-4), pp. 360, 1993-11-00. | Journal Article
 
Reasoning about Programs in Continuation-Passing Style
Sabry, Amr and Felleisen, Matthias
(pp. 289–360)
 
The Essence of Compiling with Continuations
Flanagan, Cormac⋅Flanagan, Cormac⋅Sabry, Amr⋅Sabry, Amr⋅Duba, Bruce F⋅Duba, Bruce F.⋅Felleisen, Matthias and Felleisen, Matthias
ACM. | Conference Proceeding
 
THEORETICAL PEARLS - CPS in Little Pieces: Composing Partial Continuations
1992
Reasoning about programs in continuation-passing style.
Sabry, Amr and Felleisen, Matthias
ACM SIGPLAN Lisp Pointers, vol. V, (no. 1), pp. 288-298, 1992. | Journal Article
 
Reasoning about programs in continuation-passing style.
Sabry, Amr and Felleisen, Matthias
PROC 92 ACM CONF LISP FUNCT PROGRAM., 1992. | Journal Article