Amr Sabry

Cited by

	All	Since 2018
Citations	3831	1098
h-index	29	15
i10-index	41	24

240

120

180

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202314 30 39 60 67 63 47 66 69 87 87 121 134 132 150 148 155 149 146 118 146 161 141 161 202 174 224 158 179 197 166

Public access

View all

7 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 IOHKVerified 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, School of Informatics and Computing, Indiana UniversityVerified email at indiana.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
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Vikraman ChoudhuryUniversity of Glasgow, University of Cambridge, Indiana UniversityVerified email at glasgow.ac.uk
Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it
Chao-Hong ChenIndiana UniversityVerified email at indiana.edu
Andrew LumsdaineUniversity of Washington; Pacific Northwest National LaboratoryVerified email at uw.edu
Walid TahaHalmstad UniversityVerified email at hh.se
Ronald GarciaUniversity of British ColumbiaVerified email at cs.ubc.ca

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	748	1993
Reasoning about programs in continuation-passing style A Sabry, M Felleisen Lisp and symbolic computation 6 (3), 289-360, 1993	554	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	442	1996
A reflection on call-by-value A Sabry, P Wadler ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (6), 916-941, 1997	175	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	147	2005
Extensible effects: an alternative to monad transformers O Kiselyov, A Sabry, C Swords ACM SIGPLAN Notices 48 (12), 59-70, 2013	146	2013
A monadic framework for delimited continuations RK Dyvbig, SP Jones, A Sabry Journal of Functional Programming 17 (6), 687-730, 2007	122	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	120	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	89	2006
Modeling quantum computing in Haskell A Sabry Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 39-49, 2003	66	2003
What is a purely functional language? A Sabry Journal of Functional Programming 8 (1), 1-22, 1998	66	1998
Information effects RP James, A Sabry Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012	65	2012
An algebra of pure quantum programming T Altenkirch, J Grattage, JK Vizzotto, A Sabry Electronic Notes in Theoretical Computer Science 170, 23-47, 2007	54	2007
Monadic state: Axiomatization and type safety J Launchbury, A Sabry ACM SIGPLAN Notices 32 (8), 227-238, 1997	53	1997
Is continuation-passing useful for data flow analysis? A Sabry, M Felleisen ACM SIGPLAN Notices 29 (6), 1-12, 1994	53	1994
Monadic encapsulation of effects: a revised approach (extended version) E Moggi, A Sabry Journal of Functional Programming 11 (06), 591-627, 2001	48	2001
Structuring quantum effects: Superoperators as arrows J Vizzotto, T Altenkirch, A Sabry Mathematical Structures in Computer Science 16 (3), 453-468, 2006	45	2006
Monadic encapsulation in ML M Semmelroth, A Sabry ACM SIGPLAN Notices 34 (9), 8-17, 1999	39	1999
From symmetric pattern-matching to quantum control A Sabry, B Valiron, JK Vizzotto Foundations of Software Science and Computation Structures: 21st …, 2018	37	2018

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