211 Publications (Page 6 of 9)
2001
From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition
Yong Xiao, Amr Sabry, and Zena Ariola and Sabry, Amr
(pp. 387-409). 2001
 
Macros as multi-stage computations
Ganz, Steven E⋅Sabry, Amr and Taha, Walid
ACM SIGPLAN Notices, vol. 36, (no. 10), pp. 74, 2001-10-01. | Journal Article
 
Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML
Ganz, S. E⋅Sabry, Amr and Taha, Walid
6th ACM SIGPLAN International Conference on Functional Programming (ICFP'01); Florence; Italy; 03-05 Sept. 2001. 2001. | Conference Proceeding
 
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML
 
Monadic encapsulation of effects: a revised approach (extended version)
Moggi, Eugenio and Sabry, Amr
Journal of Functional Programming, vol. 11, (no. 6), pp. 591-627, Nov 2001. | Journal Article
 
Monadic encapsulation of effects: A revised approach (extended version
 
Proceedings of the Third ACM SIGPLAN Workshop on Continuations (CW 01)
2000
Monadic Encapsulation of Effects: A Revised Approach (Extended Version)
 
Recursion is a Computational Effect
1999
Declarative Programming Across the Undergraduate Curriculum
 
Monadic Encapsulation in ML
 
Monadic Encapsulation in ML
Semmelroth, Miley and Sabry, Amr
ACM. | Conference Proceeding
 
Monadic Encapsulation of Effects: A Revised Approach (Extended Version)
 
Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog
Fiskio-Lasseter, John and Sabry, Amr
Electronic Notes in Theoretical Computer Science, vol. 26, pp. 51, 1999. | Journal Article
1998
Correctness of monadic state:an imperative call-by-need calculus
Ariola, Zena M and Sabry, Amr
Annual Symposium on Principles of Programming Languages: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages; 19-21 Jan. 1998. 1998. | Conference Proceeding
 
Correctness of monadic state: An imperative call-by-need calculus
Ariola, Zena M and Sabry, Amr
CONF REC ANNU ACM SYMP PRINC PROGRAM LANG. pp. 62-74. 1998, 1998. | Journal Article
 
Correctness of Monadic State: An Imperative Call-by-Need Calculus
Ariola, Zena⋅Ariola, Zena⋅Sabry, Amr and Sabry, Amr
Electronic Notes in Theoretical Computer Science, vol. 10, 1998-01-01. | Journal Article
 
Correctness of Monadic State: An Imperative Call-by-Need Calculus
 
Java Access Modifiers in Parallel Universes
 
What is a purely functional language?
Sabry, Amr
Journal of Functional Programming, vol. 8, (no. 1), pp. 22, 19980101. | Journal Article
 
What is a Purely Functional Language?
Sabry, Amr
J. Funct. Program., vol. 8, pp. 1–22. | Journal Article
 
What is a Purely Functional Language?
Sabry, Amr
(pp. 1-22). 1998
1997
A reflection on call-by-value
Sabry, Amr and Wadler, Philip
ACM Transactions on Programming Languages and Systems, vol. 19, (no. 6), pp. 916-941, 1997. | Journal Article
 
Debugging Reactive Systems in Haskell
 
Monadic state
Launchbury, John and Sabry, Amr
ACM SIGPLAN Notices, vol. 32, (no. 8), pp. 238, 1997-08-01. | Journal Article