Amr Sabry

Citée par

	Toutes	Depuis 2019
Citations	4040	1108
indice h	29	15
indice i10	45	25

240

120

180

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 32 38 58 68 64 46 68 66 91 89 120 137 133 153 146 157 150 149 122 139 165 141 164 211 170 227 164 180 190 196 150

Accès public

Tout afficher

9 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityAdresse e-mail validée de felleisen.org
Zena AriolaUniversity of OregonAdresse e-mail validée de cs.uoregon.edu
Roshan P JamesComputer Science, Indiana UniversityAdresse e-mail validée de umail.iu.edu
Jacques CaretteAssociate Professor of Computer Science and Software Engineering, McMaster UniversityAdresse e-mail validée de mcmaster.ca
Cormac FlanaganProfessor of Computer Science, University of California Santa CruzAdresse e-mail validée de ucsc.edu
Juliana VizzottoProfessora de Ciência da Computação, Universidade Federal de Santa MariaAdresse e-mail validée de inf.ufsm.br
Philip WadlerUniversity of Edinburgh and IOHK/IOGAdresse e-mail validée de inf.ed.ac.uk
Dan FriedmanIndiana UniversityAdresse e-mail validée de indiana.edu
Simon Peyton JonesEpic GamesAdresse e-mail validée de epicgames.com
Chung-chieh ShanIndiana UniversityAdresse e-mail validée de indiana.edu
Andrew J HansonProfessor Emeritus of Computer Science, School of Informatics and Computing, Indiana UniversityAdresse e-mail validée de iu.edu
Lars ParetoSenior Lecturer in Software Engineering, Chalmers | University of GothenburgAdresse e-mail validée de chalmers.se
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityAdresse e-mail validée de chalmers.se
Phil RichermeAssociate Professor of Physics, Indiana University BloomingtonAdresse e-mail validée de indiana.edu
Vikraman ChoudhuryMarie Skłodowska-Curie Fellow, Università di BolognaAdresse e-mail validée de unibo.it
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamAdresse e-mail validée de cs.nott.ac.uk
Debadrita SahaPh.D. candidate, Department of Chemistry and the Indiana University Quantum Science and EngineeringAdresse e-mail validée de iu.edu
Chao-Hong ChenIndiana UniversityAdresse e-mail validée de indiana.edu
Jeremy M SmithIndiana UniversityAdresse e-mail validée de indiana.edu
Eugenio MoggiProfessor of Computer Science, Genova UniversityAdresse e-mail validée de unige.it

Suivre

Amr Sabry

Professor of Computer Science, Indiana University

Adresse e-mail validée de indiana.edu - Page d'accueil

Programming Languages Quantum Computing


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
The essence of compiling with continuations C Flanagan, A Sabry, BF Duba, M Felleisen ACM SIGPLAN Notices 28 (6), 237-247, 1993	787	1993
Reasoning about programs in continuation-passing style A Sabry, M Felleisen Lisp and symbolic computation 6 (3), 289-360, 1993	568	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	451	1996
A reflection on call-by-value A Sabry, P Wadler ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (6), 916-941, 1997	186	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	157	2005
Extensible effects: an alternative to monad transformers O Kiselyov, A Sabry, C Swords ACM SIGPLAN Notices 48 (12), 59-70, 2013	151	2013
A monadic framework for delimited continuations RK Dyvbig, SP Jones, A Sabry Journal of Functional Programming 17 (6), 687-730, 2007	124	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	123	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	76	2012
Modeling quantum computing in Haskell A Sabry Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 39-49, 2003	68	2003
What is a purely functional language? A Sabry Journal of Functional Programming 8 (1), 1-22, 1998	68	1998
Is continuation-passing useful for data flow analysis? A Sabry, M Felleisen ACM SIGPLAN Notices 29 (6), 1-12, 1994	56	1994
Monadic state: Axiomatization and type safety J Launchbury, A Sabry ACM SIGPLAN Notices 32 (8), 227-238, 1997	55	1997
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
Structuring quantum effects: Superoperators as arrows J Vizzotto, T Altenkirch, A Sabry Mathematical Structures in Computer Science 16 (3), 453-468, 2006	51	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
From symmetric pattern-matching to quantum control A Sabry, B Valiron, JK Vizzotto Foundations of Software Science and Computation Structures: 21st …, 2018	46	2018
Lazy evaluation and delimited control R Garcia, A Lumsdaine, A Sabry ACM SIGPLAN Notices 44 (1), 153-164, 2009	41	2009

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs