Amr Sabry

Cited by

	All	Since 2019
Citations	4102	1167
h-index	29	16
i10-index	46	26

240

120

180

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 32 38 58 68 64 46 68 66 91 89 120 137 133 153 146 157 150 150 123 144 163 141 161 211 170 227 165 182 187 200 205

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityVerified email at felleisen.org
Zena AriolaUniversity of OregonVerified email at cs.uoregon.edu
Roshan P JamesComputer Science, Indiana UniversityVerified email at umail.iu.edu
Jacques CaretteAssociate Professor of Computer Science and Software Engineering, McMaster UniversityVerified email at mcmaster.ca
Cormac FlanaganProfessor of Computer Science, University of California Santa CruzVerified email at ucsc.edu
Juliana VizzottoProfessora de Ciência da Computação, Universidade Federal de Santa MariaVerified email at inf.ufsm.br
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Dan FriedmanIndiana UniversityVerified email at indiana.edu
Simon Peyton JonesEpic GamesVerified email at epicgames.com
Chung-chieh ShanIndiana UniversityVerified email at indiana.edu
Andrew J. HansonProfessor Emeritus of Computer Science, SICE, Indiana University BloomingtonVerified email at iu.edu
Lars ParetoSenior Lecturer in Software Engineering, Chalmers | University of GothenburgVerified email at chalmers.se
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Phil RichermeAssociate Professor of Physics, Indiana University BloomingtonVerified email at indiana.edu
Vikraman ChoudhuryMarie Skłodowska-Curie Fellow, Università di BolognaVerified email at unibo.it
Debadrita SahaPh.D. candidate, Department of Chemistry and the Indiana University Quantum Science and EngineeringVerified email at iu.edu
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Jeremy M SmithIndiana UniversityVerified email at indiana.edu
Chao-Hong ChenIndiana UniversityVerified email at indiana.edu
Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it

Amr Sabry

Professor of Computer Science, Indiana University

Verified email at indiana.edu - Homepage

Programming Languages Quantum Computing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The essence of compiling with continuations C Flanagan, A Sabry, BF Duba, M Felleisen ACM SIGPLAN Notices 28 (6), 237-247, 1993	803	1993
Reasoning about programs in continuation-passing style A Sabry, M Felleisen Lisp and symbolic computation 6 (3), 289-360, 1993	576	1993
Proving the correctness of reactive systems using sized types J Hughes, L Pareto, A Sabry Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 1996	454	1996
A reflection on call-by-value A Sabry, P Wadler ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (6), 916-941, 1997	187	1997
Backtracking, interleaving, and terminating monad transformers:(functional pearl) O Kiselyov, C Shan, DP Friedman, A Sabry ACM SIGPLAN Notices 40 (9), 192-203, 2005	159	2005
Extensible effects: an alternative to monad transformers O Kiselyov, A Sabry, C Swords ACM SIGPLAN Notices 48 (12), 59-70, 2013	154	2013
A monadic framework for delimited continuations RK Dyvbig, SP Jones, A Sabry Journal of Functional Programming 17 (6), 687-730, 2007	128	2007
Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML SE Ganz, A Sabry, W Taha ACM SIGPLAN Notices 36 (10), 74-85, 2001	124	2001
A type-theoretic foundation of delimited continuations ZM Ariola, H Herbelin, A Sabry Higher-order and symbolic computation 22 (3), 233-273, 2009	94*	2009
Delimited dynamic binding O Kiselyov, C Shan, A Sabry ACM SIGPLAN Notices 41 (9), 26-37, 2006	91	2006
Information effects RP James, A Sabry Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012	78	2012
What is a purely functional language? A Sabry Journal of Functional Programming 8 (1), 1-22, 1998	69	1998
Modeling quantum computing in Haskell A Sabry Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 39-49, 2003	68	2003
Is continuation-passing useful for data flow analysis? A Sabry, M Felleisen ACM SIGPLAN Notices 29 (6), 1-12, 1994	56	1994
An algebra of pure quantum programming T Altenkirch, J Grattage, JK Vizzotto, A Sabry Electronic Notes in Theoretical Computer Science 170, 23-47, 2007	55	2007
Monadic state: Axiomatization and type safety J Launchbury, A Sabry ACM SIGPLAN Notices 32 (8), 227-238, 1997	55	1997
Structuring quantum effects: Superoperators as arrows J Vizzotto, T Altenkirch, A Sabry Mathematical Structures in Computer Science 16 (3), 453-468, 2006	52	2006
From symmetric pattern-matching to quantum control A Sabry, B Valiron, JK Vizzotto Foundations of Software Science and Computation Structures: 21st …, 2018	48	2018
Monadic encapsulation of effects: a revised approach (extended version) E Moggi, A Sabry Journal of Functional Programming 11 (06), 591-627, 2001	48	2001
Lazy evaluation and delimited control R Garcia, A Lumsdaine, A Sabry ACM SIGPLAN Notices 44 (1), 153-164, 2009	42	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors