Amr Sabry
Affiliations: | Indiana University, Bloomington, Bloomington, IN, United States |
Area:
Computer ScienceGoogle:
"Amr Sabry"
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Tai Y, Hanson AJ, Ortiz G, et al. (2018) Quantum interval-valued probability: Contextuality and the Born rule Physical Review A. 97 |
| Carette J, Chen C, Choudhury V, et al. (2018) From Reversible Programs to Univalent Universes and Back Electronic Notes in Theoretical Computer Science. 336: 5-25 |
| James RP, Sabry A. (2013) Isomorphic interpreters from logically reversible abstract machines Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7581: 57-71 |
| James RP, Sabry A. (2012) Information effects Acm Sigplan Notices. 47: 73-84 |
| Garcia R, Lumsdaine A, Sabry A. (2009) Lazy evaluation and delimited control Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 153-164 |
| Ariola ZM, Bohannon A, Sabry A. (2009) Sequent calculi and abstract machines Acm Transactions On Programming Languages and Systems. 31 |
| Vizzotto JK, Costa ACdR, Sabry A. (2008) Quantum Arrows in Haskell Electronic Notes in Theoretical Computer Science. 210: 139-152 |
| Altenkirch T, Grattage J, Vizzotto JK, et al. (2007) An Algebra of Pure Quantum Programming Electronic Notes in Theoretical Computer Science. 170: 23-47 |
| Vizzotto J, Altenkirch T, Sabry AMR. (2006) Structuring quantum effects: Superoperators as arrows Mathematical Structures in Computer Science. 16: 453-468 |
| Moggi E, Sabry A. (2004) An abstract monadic semantics for value recursion Rairo - Theoretical Informatics and Applications. 38: 375-400 |