211 Publications (Page 5 of 9)
2007
A Proof-Theoretic Foundation of Abortive Continuations
 
A Type-Theoretic Foundation of Delimited Continuations
Ariola, Zena⋅Ariola, Zena⋅Herbelin, Hugo⋅Herbelin, Hugo⋅Sabry, Amr and Sabry, Amr
Higher-Order and Symbolic Computation, 2007. | Journal Article
 
A type-theoretic foundation of delimited continuations. Higher-order and symbolic computation
 
Quantum Circuits: From a Network to a One-Way Model
2006
Delimited dynamic binding
Kiselyov, Oleg⋅Shan, Chung Chieh and Sabry, Amr
International Conference on Functional Programming: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming : Portland, Oregon, USA; 16-21 Sept. 2006. 2006. | Conference Proceeding
 
Delimited Dynamic Binding
 
Structuring quantum effects: superoperators as arrows.
Vizzotto, Juliana⋅Altenkirch, Thorsten and Sabry, Amr
Mathematical Structures in Computer Science, vol. 16, (no. 3), pp. 453-468, 2006. | Journal Article
2005
A monadic framework for delimited continuations
 
A monadic framework for subcontinuations
 
A Proof-Theoretic Foundation of Abortive Continuations
 
A Typed Calculus Supporting Shallow Embeddings of Abstract Machines
 
A Typed Calculus Supporting Shallow Embeddings of Abstract Machines 1 Overview
 
Backtracking, interleaving, and terminating monad transformers
Kiselyov, Oleg⋅Kiselyov, Oleg⋅Shan, Chung Chieh⋅Shan, Chung Chieh⋅Friedman, Daniel P⋅Friedman, Daniel P⋅Sabry, Amr and Sabry, Amr
ACM SIGPLAN Notices, vol. 40, (no. 9), pp. 192-203, 2005. | Journal Article
 
Backtracking, interleaving, and terminating monad transformers:(functional pearl)
Kiselyov, Oleg⋅Shan, Chung Chieh⋅Friedman, Daniel P and Sabry, Amr
International Conference on Functional Programming: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming : Tallinn, Estonia; 26-28 Sept. 2005. 2005. | Conference Proceeding
 
Structuring quantum effects: superoperators as arrows
Vizzotto, Juliana Kaizer⋅Altenkirch, Thorsten and Sabry, Amr
 
Structuring quantum effects: superoperators as arrows
Vizzotto, Juliana Kaizer⋅Altenkirch, Thorsten and Sabry, Amr
CoRR, vol. abs/quant-ph/0501151. | Journal Article
2004
An abstract monadic semantics for value recursion
Moggi, Eugenio and Sabry, Amr
RAIRO - Theoretical Informatics and Applications, vol. 38, (no. 4), pp. 400, 20041001. | Journal Article
 
A type-theoretic foundation of continuations and prompts
Ariola, Zena M⋅Herbelin, Hugo and Sabry, Amr
International Conference on Functional Programming: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming; 19-21 Sept. 2004. 2004. | Conference Proceeding
 
A type-theoretic foundation of continuations and prompts
Ariola, Zena M⋅Herbelin, Hugo and Sabry, Amr
ACM SIGPLAN Notices, vol. 39, (no. 9), pp. 40-53, 2004. | Journal Article
2003
An Abstract Monadic Semantics for Value Recursion
Moggi, Eugenio and Sabry, Amr
University of Warsaw. | Conference Proceeding
 
An Abstract Monadic Semantics for Value Recursion
Moggi, Eugenio and Sabry, Amr
(pp. 64–79). University of Warsaw
 
Modeling quantum computing in Haskell
Sabry, Amr
Haskell Workshop: Proceedings of the 2003 ACM SIGPLAN workshop on Haskell; 28-28 Aug. 2003. 2003. | Conference Proceeding
 
Modelling quantum computing in Haskell
2002
CPS in little pieces: composing partial continuations
Friedman, Daniel P and Sabry, Amr
Journal of Functional Programming, vol. 12, (no. 6), pp. 617-622, Nov 2002. | Journal Article
2001
From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition
Xiao, Yong⋅Xiao, Yong⋅Sabry, Amr⋅Sabry, Amr⋅Ariola, Zena and Ariola, Zena
Higher-Order and Symbolic Computation, vol. 14, (no. 4), pp. 409, 20011200. | Journal Article