211 Publications (Page 4 of 9)
2012
Isomorphic interpreters from logically reversible abstract machines
 
Isomorphic Interpreters from Logically Reversible Abstract Machines
James, Roshan P. and Sabry, Amr
Springer. | Conference Proceeding
 
Lazy v. Yield: Incremental, Linear Pretty-Printing
Kiselyov, Oleg⋅Jones, Simon L. Peyton and Sabry, Amr
Springer. | Conference Proceeding
2011
Quantum Computing over Finite Fields
James, Roshan P⋅Ortiz, Gerardo and Sabry, Amr
2011-01-19. | Journal Article
 
Solving UNIQUE-SAT in a Modal Quantum Theory
Willcock, Jeremiah and Sabry, Amr
2011-02-17. | Journal Article
 
Solving UNIQUE-SAT in a Modal Quantum Theory
 
The Power of Discrete Quantum Theories
Hanson, Andrew J⋅Ortiz, Gerardo⋅Sabry, Amr and Willcock, Jeremiah
2011-04-08. | Journal Article
2010
Lazy Evaluation and Delimited Control
Garcia, Ronald⋅Lumsdaine, Andrew and Sabry, Amr
 
Lazy Evaluation and Delimited Control
Garcia, Ronald⋅Garcia, Ronald⋅Lumsdaine, Andrew⋅Lumsdaine, Andrew⋅Sabry, Amr and Sabry, Amr
Logical Methods in Computer Science, vol. 6, (no. 3), 2010-07-11. | Journal Article
2009
A.: Lazy evaluation and delimited control
 
A type-theoretic foundation of delimited continuations
Ariola, Zena M⋅Ariola, Zena M⋅Herbelin, Hugo⋅Herbelin, Hugo⋅Sabry, Amr and Sabry, Amr
Higher-Order and Symbolic Computation, vol. 22, (no. 3), pp. 273, 2009-09-00. | Journal Article
 
A type-theoretic foundation of delimited continuations. Higher Order Symbol
 
Lazy evaluation and delimited control
Garcia, Ronald⋅Garcia, Ronald⋅Lumsdaine, Andrew⋅Lumsdaine, Andrew⋅Sabry, Amr and Sabry, Amr
ACM SIGPLAN Notices, vol. 44, (no. 1), pp. 153, 2009-01-21. | Journal Article
 
Lazy evaluation and delimited control
Garcia, Ronald⋅Lumsdaine, Andrew and Sabry, Amr
ACM. | Conference Proceeding
 
Reasoning about General Quantum Programs over Mixed States
Vizzotto, Juliana Kaizer⋅Librelotto, Giovani Rubert and Sabry, Amr
Springer. | Conference Proceeding
 
Sequent calculi and abstract machines
Ariola, Zena M⋅Bohannon, Aaron and Sabry, Amr
ACM Transactions on Programming Languages and Systems, vol. 31, (no. 4), 2009. | Journal Article
 
The Arrow Calculus as a Quantum Programming Language
 
The Arrow Calculus as a Quantum Programming Language
Vizzotto, Juliana Kaizer⋅Bois, André Rauber Du and Sabry, Amr
Springer. | Conference Proceeding
 
The Arrow Calculus as a Quantum Programming Language
Vizzotto, Juliana Kaizer⋅Bois, Andre Rauber Du and Sabry, Amr
2009-03-09. | Journal Article
2008
Quantum Arrows in Haskell
Vizzotto, Juliana Kaizer⋅da Rocha Costa, Antônio Carlos and Sabry, Amr
Electronic Notes in Theoretical Computer Science, vol. 210, pp. 152, 2008-07-11. | Journal Article
 
Quantum Circuits: From a Network to a One-Way Model
 
-Book chapter-
Sabry, Amr
In Side Effects. John Wiley & Sons, Inc.. 2008
2007
A monadic framework for delimited continuations
Dyvbig, R K⋅JONES, SIMON P and Sabry, Amr
Journal of Functional Programming, vol. 17, (no. 6), pp. 687-730, Nov 2007. | Journal Article
 
An Algebra of Pure Quantum Programming
Altenkirch, Thorsten⋅Grattage, Jonathan⋅Vizzotto, Juliana K and Sabry, Amr
Electronic Notes in Theoretical Computer Science, vol. 170, pp. 47, 2007-03-06. | Journal Article
 
A proof-theoretic foundation of abortive continuations
Ariola, Zena⋅Ariola, Zena⋅Herbelin, Hugo⋅Herbelin, Hugo⋅Sabry, Amr and Sabry, Amr
Higher-Order and Symbolic Computation, vol. 20, (no. 4), pp. 429, 20071200. | Journal Article