The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Amr Sabry: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Zena M. Ariola, Hugo Herbelin, Amr Sabry
    A type-theoretic foundation of continuations and prompts. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:40-53 [Conf]
  2. Steven E. Ganz, Amr Sabry, Walid Taha
    Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:74-85 [Conf]
  3. Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry
    Backtracking, interleaving, and terminating monad transformers: (functional pearl). [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:192-203 [Conf]
  4. Oleg Kiselyov, Chung-chieh Shan, Amr Sabry
    Delimited dynamic binding. [Citation Graph (0, 0)][DBLP]
    ICFP, 2006, pp:26-37 [Conf]
  5. John Launchbury, Amr Sabry
    Monadic State: Axiomatization and Type Safety. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:227-238 [Conf]
  6. Amr Sabry, Philip Wadler
    A Reflection on Call-by-Value. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:13-24 [Conf]
  7. Miley Semmelroth, Amr Sabry
    Monadic Encapsulation in ML. [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:8-17 [Conf]
  8. Amr Sabry, Matthias Felleisen
    Reasoning About Programs in Continuation-Passing Style. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:288-298 [Conf]
  9. Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen
    The Essence of Compiling with Continuations. [Citation Graph (0, 0)][DBLP]
    PLDI, 1993, pp:237-247 [Conf]
  10. Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen
    The essence of compiling with continuations (with retrospective) [Citation Graph (0, 0)][DBLP]
    Best of PLDI, 1993, pp:502-514 [Conf]
  11. Amr Sabry, Matthias Felleisen
    Is Continuation-Passing Useful for Data Flow Analysis? [Citation Graph (0, 0)][DBLP]
    PLDI, 1994, pp:1-12 [Conf]
  12. Zena M. Ariola, Amr Sabry
    Correctness of Monadic State: An Imperative Call-by-Need Calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:62-74 [Conf]
  13. John Hughes, Lars Pareto, Amr Sabry
    Proving the Correctness of Reactive Systems Using Sized Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:410-423 [Conf]
  14. Zena M. Ariola, Amr Sabry
    Correctness of Monadic State: An Imperative Call-by-Need Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
  15. John Howard Eli Fiskio-Lasseter, Amr Sabry
    Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:26, n:, pp:- [Journal]
  16. Thorsten Altenkirch, Jonathan Grattage, Juliana K. Vizzotto, Amr Sabry
    An Algebra of Pure Quantum Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:170, n:, pp:23-47 [Journal]
  17. Daniel P. Friedman, Amr Sabry
    CPS in little pieces: composing partial continuations. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2002, v:12, n:6, pp:617-622 [Journal]
  18. Eugenio Moggi, Amr Sabry
    Monadic encapsulation of effects: a revised approach (extended version). [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2001, v:11, n:6, pp:591-627 [Journal]
  19. Amr Sabry
    What is a Purely Functional Language? [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1998, v:8, n:1, pp:1-22 [Journal]
  20. Olivier Danvy, Amr Sabry
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2002, v:15, n:2-3, pp:139-140 [Journal]
  21. Yong Xiao, Amr Sabry, Zena M. Ariola
    From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2001, v:14, n:4, pp:387-409 [Journal]
  22. Amr Sabry, Matthias Felleisen
    Reasoning about Programs in Continuation-Passing Style. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1993, v:6, n:3-4, pp:289-360 [Journal]
  23. Amr Sabry, Philip Wadler
    A Reflection on Call-by-Value. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:6, pp:916-941 [Journal]
  24. Juliana K. Vizzotto, Thorsten Altenkirch, Amr Sabry
    Structuring quantum effects: superoperators as arrows [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]

  25. Lazy evaluation and delimited control. [Citation Graph (, )][DBLP]


  26. The Arrow Calculus as a Quantum Programming Language. [Citation Graph (, )][DBLP]


  27. Reasoning about General Quantum Programs over Mixed States. [Citation Graph (, )][DBLP]


  28. Lazy Evaluation and Delimited Control [Citation Graph (, )][DBLP]


  29. Quantum Arrows in Haskell. [Citation Graph (, )][DBLP]


Search in 0.046secs, Finished in 0.048secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002