Amr Sabry

Cited by

	All	Since 2020
Citations	4140	979
h-index	28	15
i10-index	47	21

240

120

180

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 32 39 58 68 64 45 68 69 90 90 128 130 135 153 148 156 152 148 125 136 168 143 160 207 171 222 152 183 193 199 227 24

Public access

View all

10 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
Gerardo OrtizIndiana UniversityVerified email at iu.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 SahaPostdoctoral Research Associate, Department of Chemistry, Princeton UniversityVerified email at princeton.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

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	802	1993
Reasoning about programs in continuation-passing style A Sabry, M Felleisen Lisp and symbolic computation 6 (3), 289-360, 1993	592	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	457	1996
A reflection on call-by-value A Sabry, P Wadler ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (6), 916-941, 1997	190	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	161	2005
Extensible effects: an alternative to monad transformers O Kiselyov, A Sabry, C Swords ACM SIGPLAN Notices 48 (12), 59-70, 2013	157	2013
A monadic framework for delimited continuations RK Dyvbig, SP Jones, A Sabry Journal of Functional Programming 17 (6), 687-730, 2007	129	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	126	2001
A type-theoretic foundation of delimited continuations ZM Ariola, H Herbelin, A Sabry Higher-order and symbolic computation 22 (3), 233-273, 2009	96*	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	79	2012
Modeling quantum computing in Haskell A Sabry Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 39-49, 2003	70	2003
What is a purely functional language? A Sabry Journal of Functional Programming 8 (1), 1-22, 1998	69	1998
Is continuation-passing useful for data flow analysis? A Sabry, M Felleisen ACM SIGPLAN Notices 29 (6), 1-12, 1994	59	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	57	2007
Monadic state: Axiomatization and type safety J Launchbury, A Sabry ACM SIGPLAN Notices 32 (8), 227-238, 1997	55	1997
From symmetric pattern-matching to quantum control A Sabry, B Valiron, JK Vizzotto Foundations of Software Science and Computation Structures: 21st …, 2018	52	2018
Structuring quantum effects: Superoperators as arrows J Vizzotto, T Altenkirch, A Sabry Mathematical Structures in Computer Science 16 (3), 453-468, 2006	52	2006
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	43	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