- Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry:
From Reversible Programs to Univalent Universes and Back. MFPS 2018: 5-25 - Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto:
From Symmetric Pattern-Matching to Quantum Control (Extended Version). CoRR abs/1804.00952 (2018) - Jacques Carette, Roshan P. James, Amr Sabry:
Embracing the Laws of Physics: Three Reversible Models of Computation. CoRR abs/1811.03678 (2018) - 2017
- Amr Sabry:
Embracing the laws of Physics in the foundations of computation. MECO 2017: 1 - Ahmed Haroun Sabry, Wan Zuha Wan Hasan, Mohd Zainal Abidin Ab Kadir, M. A. M. Radzi, Suhaidi Shafie:
Processing and Monitoring Algorithm for Solar-Powered Smart Home in DC-Environment System Based on RF-Radio Node. MIWAI 2017: 304-314 - Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry:
From Reversible Programs to Univalent Universes and Back. CoRR abs/1708.02710 (2017) - 2016
- Jacques Carette, Amr Sabry:
Computing with Semirings and Weak Rig Groupoids. ESOP 2016: 123-148 - 2015
- Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt:
Expressing contract monitors as patterns of communication. ICFP 2015: 387-399 - Geoffrey Brown, Amr Sabry:
Reversible Communicating Processes. PLACES 2015: 45-59 - 2013
- Oleg Kiselyov, Amr Sabry, Cameron Swords:
Extensible effects: an alternative to monad transformers. Haskell 2013: 59-70 - Doaa Hassan, Amr Sabry:
Encoding secure information flow with restricted delegation and revocation in Haskell. FPCDSL@ICFP 2013: 11-18 - 2012
- Amr S. Ghoneim:
On Competency of Go Players: A Computational Approach. University of New South Wales, Canberra, Australia, 2012 - Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry:
Lazy v. Yield: Incremental, Linear Pretty-Printing. APLAS 2012: 190-206 - Amr S. Ghoneim, Daryl Leslie Essam:
A methodology for revealing and monitoring the strategies played by neural networks in mind games. IJCNN 2012: 1-10 - Roshan P. James, Amr Sabry:
Information effects. POPL 2012: 73-84 - Roshan P. James, Amr Sabry:
Isomorphic Interpreters from Logically Reversible Abstract Machines. RC 2012: 57-71 - 2011
- Amr S. Ghoneim, Daryl Leslie Essam, Hussein A. Abbass:
Competency awareness in strategic decision making. CogSIMA 2011: 106-109 - Amr S. Ghoneim, Daryl Leslie Essam, Hussein A. Abbass:
On computations and strategies for real and artificial systems. ECAL 2011: 260-267 - 2010
- Ronald Garcia, Andrew Lumsdaine, Amr Sabry:
Lazy Evaluation and Delimited Control. Log. Methods Comput. Sci. 6(3) (2010) - 2009
- Zena M. Ariola, Hugo Herbelin, Amr Sabry:
A type-theoretic foundation of delimited continuations. High. Order Symb. Comput. 22(3): 233-273 (2009) - Zena M. Ariola, Aaron Bohannon, Amr Sabry:
Sequent calculi and abstract machines. ACM Trans. Program. Lang. Syst. 31(4): 13:1-13:48 (2009) - Ronald Garcia, Andrew Lumsdaine, Amr Sabry:
Lazy evaluation and delimited control. POPL 2009: 153-164 - Juliana Kaizer Vizzotto, Giovani Rubert Librelotto, Amr Sabry:
Reasoning about General Quantum Programs over Mixed States. SBMF 2009: 321-335 - Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry:
The Arrow Calculus as a Quantum Programming Language. WoLLIC 2009: 379-393 - 2008
- Aliaa A. A. Youssif, Atef Z. Ghalwash, Amr Ahmed Sabry Abdel-Rahman Ghoneim:
Optic Disc Detection From Normalized Digital Fundus Images by Means of a Vessels' Direction Matched Filter. IEEE Trans. Medical Imaging 27(1): 11-18 (2008) - Amr Sabry:
Side Effects. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2007
- R. Kent Dybvig, Simon L. Peyton Jones, Amr Sabry:
A monadic framework for delimited continuations. J. Funct. Program. 17(6): 687-730 (2007) - Zena M. Ariola, Hugo Herbelin, Amr Sabry:
A proof-theoretic foundation of abortive continuations. High. Order Symb. Comput. 20(4): 403-429 (2007) - 2006
- Juliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry:
Structuring quantum effects: superoperators as arrows. Math. Struct. Comput. Sci. 16(3): 453-468 (2006) - Oleg Kiselyov, Chung-chieh Shan, Amr Sabry:
Delimited dynamic binding. ICFP 2006: 26-37