Reversible Communicating Processes
Brown, Geoffrey, Sabry, Amr
Published in Electronic proceedings in theoretical computer science (10.02.2016)
Published in Electronic proceedings in theoretical computer science (10.02.2016)
Get full text
Journal Article
A monadic framework for delimited continuations
Dyvbig, R. KENT, JONES, SIMON PEYTON, SABRY, AMR
Published in Journal of functional programming (01.11.2007)
Published in Journal of functional programming (01.11.2007)
Get full text
Journal Article
Lazy Evaluation and Delimited Control
Garcia, Ronald, Lumsdaine, Andrew, Sabry, Amr
Published in Logical methods in computer science (01.01.2010)
Published in Logical methods in computer science (01.01.2010)
Get full text
Journal Article
A type-theoretic foundation of delimited continuations
Ariola, Zena M., Herbelin, Hugo, Sabry, Amr
Published in Higher-Order and Symbolic Computation (01.09.2009)
Published in Higher-Order and Symbolic Computation (01.09.2009)
Get full text
Journal Article
Synthesis of Hidden Subgroup Quantum Algorithms and Quantum Chemical Dynamics
Iyengar, Srinivasan S., Kumar, Anup, Saha, Debadrita, Sabry, Amr
Published in Journal of chemical theory and computation (26.09.2023)
Published in Journal of chemical theory and computation (26.09.2023)
Get full text
Journal Article
Mapping Quantum Chemical Dynamics Problems to Spin-Lattice Simulators
Saha, Debadrita, Iyengar, Srinivasan S, Richerme, Philip, Smith, Jeremy M, Sabry, Amr
Published in Journal of chemical theory and computation (09.11.2021)
Published in Journal of chemical theory and computation (09.11.2021)
Get full text
Journal Article
How to Bake a Quantum Π
Carette, Jacques, Heunen, Chris, Kaarsgaard, Robin, Sabry, Amr
Published in Proceedings of ACM on programming languages (15.08.2024)
Published in Proceedings of ACM on programming languages (15.08.2024)
Get full text
Journal Article
With a Few Square Roots, Quantum Computing Is as Easy as Pi
Carette, Jacques, Heunen, Chris, Kaarsgaard, Robin, Sabry, Amr
Published in Proceedings of ACM on programming languages (05.01.2024)
Published in Proceedings of ACM on programming languages (05.01.2024)
Get full text
Journal Article
An extended account of contract monitoring strategies as patterns of communication
SWORDS, CAMERON, SABRY, AMR, TOBIN-HOCHSTADT, SAM
Published in Journal of functional programming (01.01.2018)
Published in Journal of functional programming (01.01.2018)
Get full text
Journal Article
Not by equations alone: Reasoning with extensible effects
KISELYOV, OLEG, MU, SHIN-CHENG, SABRY, AMR
Published in Journal of functional programming (27.01.2021)
Published in Journal of functional programming (27.01.2021)
Get full text
Journal Article
Quantum Computation of Hydrogen Bond Dynamics and Vibrational Spectra
Richerme, Philip, Revelle, Melissa C., Yale, Christopher G., Lobser, Daniel, Burch, Ashlyn D., Clark, Susan M., Saha, Debadrita, Lopez-Ruiz, Miguel Angel, Dwivedi, Anurag, Smith, Jeremy M., Norrell, Sam A., Sabry, Amr, Iyengar, Srinivasan S.
Published in The journal of physical chemistry letters (17.08.2023)
Published in The journal of physical chemistry letters (17.08.2023)
Get full text
Journal Article