×
Edit Profile (opens in new tab)

Sabry, Amr

Co-Author Distance
Author ID: sabry.amr Recent zbMATH articles by "Sabry, Amr"
Published as: Sabry, Amr
External Links: MGP
Documents Indexed: 42 Publications since 1996, including 5 Additional arXiv Preprints
Co-Authors: 39 Co-Authors with 41 Joint Publications
527 Co-Co-Authors
all top 5

Co-Authors

1 single-authored
6 Ortiz, Gerardo
6 Vizzotto, Juliana Kaizer
5 Ariola, Zena M.
5 Carette, Jacques
5 Hanson, Andrew J.
4 James, Roshan P.
4 Tai, Yu-Tsung
3 Herbelin, Hugo
3 Kiselyov, Oleg
2 Altenkirch, Thorsten
2 Chen, Chao-Hong
2 Choudhury, Vikraman
2 Friedman, Daniel P.
2 Garcia, Ronald
2 Lumsdaine, Andrew
2 Moggi, Eugenio
2 Shan, Chung-chieh
2 Swords, Cameron
2 Tobin-Hochstadt, Sam
1 da Rocha Costa, Antônio Carlos
1 Du Bois, André Rauber
1 Dyvbig, R. Kent
1 Fiskio-Lasseter, John
1 Ganz, Steven E.
1 Grattage, Jonathan
1 Hutslar, Christian
1 Iyengar, Srinivasan S.
1 Kumar, Anup
1 Launchbury, John
1 Librelotto, Giovani Rubert
1 Mu, Shin-Cheng
1 Peyton Jones, Simon L.
1 Saha, Debadrita
1 Semmelroth, Miley
1 Taha, Walid
1 Valiron, Benoît
1 Wadler, Philip Lee
1 Willcock, Jeremiah J.
1 Xiao, Yong
all top 5

Serials

6 Journal of Functional Programming
3 Higher-Order and Symbolic Computation
3 Journal of Physics A: Mathematical and Theoretical
1 Mathematical Structures in Computer Science
1 RAIRO. Theoretical Informatics and Applications
1 Logical Methods in Computer Science
all top 5

Fields

36 Computer science (68-XX)
11 Quantum theory (81-XX)
5 Mathematical logic and foundations (03-XX)
2 Associative rings and algebras (16-XX)
2 Functional analysis (46-XX)
2 Operator theory (47-XX)
2 Geometry (51-XX)
1 Field theory and polynomials (12-XX)
1 Category theory; homological algebra (18-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

30 Publications have been cited 178 times in 139 Documents Cited by ▼ Year ▼
Backtracking, interleaving, and terminating monad transformers (functional pearl). Zbl 1302.68061
Kiselyov, Oleg; Shan, Chung-chieh; Friedman, Daniel P.; Sabry, Amr
17
2005
A monadic framework for delimited continuations. Zbl 1130.68038
Dyvbig, R. Kent; Jones, Simon Peyton; Sabry, Amr
16
2007
Information effects. Zbl 1321.68267
James, Roshan P.; Sabry, Amr
14
2012
A reflection on call-by-value. Zbl 1345.68086
Sabry, Amr; Wadler, Philip
11
1996
A proof-theoretic foundation of abortive continuations. Zbl 1128.68089
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr
10
2007
An algebra of pure quantum programming. Zbl 1277.68053
Altenkirch, Thorsten; Grattage, Jonathan; Vizzotto, Juliana K.; Sabry, Amr
9
2007
A type-theoretic foundation of continuations and prompts. Zbl 1323.68090
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr
9
2004
Delimited dynamic binding. Zbl 1321.68128
Kiselyov, Oleg; Shan, Chung-chieh; Sabry, Amr
9
2006
Structuring quantum effects: superoperators as arrows. Zbl 1122.68062
Vizzotto, Juliana; Altenkirch, Thorsten; Sabry, Amr
9
2006
Macros as multi-stage computations: type-safe, generative, binding macros in MacroML. Zbl 1323.68116
Ganz, Steven E.; Sabry, Amr; Taha, Walid
8
2001
Monadic encapsulation of effects: A revised approach. (Extended version). Zbl 1037.68023
Moggi, E.; Sabry, Amr
8
2001
Lazy evaluation and delimited control. Zbl 1315.68049
Garcia, Ronald; Lumsdaine, Andrew; Sabry, Amr
6
2009
An abstract monadic semantics for value recursion. Zbl 1089.68029
Moggi, Eugenio; Sabry, Amr
6
2004
A type-theoretic foundation of delimited continuations. Zbl 1213.68187
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr
5
2009
From syntactic theories to interpreters: Automating the proof of unique decomposition. Zbl 1051.68101
Xiao, Yong; Sabry, Amr; Ariola, Zena M.
5
2001
Geometry of discrete quantum computing. Zbl 1268.81009
Hanson, Andrew J.; Ortiz, Gerardo; Sabry, Amr; Tai, Yu-Tsung
4
2013
What is a purely functional language? Zbl 0917.68033
Sabry, Amr
4
1998
Monadic state: axiomatization and type safety. Zbl 1369.68107
Launchbury, John; Sabry, Amr
4
1997
Isomorphic interpreters from logically reversible abstract machines. Zbl 1451.68119
James, Roshan P.; Sabry, Amr
3
2013
Discrete quantum theories. Zbl 1286.81046
Hanson, Andrew J.; Ortiz, Gerardo; Sabry, Amr; Tai, Yu-Tsung
3
2014
From symmetric pattern-matching to quantum control. Zbl 1504.68075
Sabry, Amr; Valiron, Benoît; Vizzotto, Juliana Kaizer
3
2018
The arrow calculus as a quantum programming language. Zbl 1246.68101
Vizzotto, Juliana Kaizer; Du Bois, André Rauber; Sabry, Amr
2
2009
Lazy evaluation and delimited control. Zbl 1191.68159
Garcia, Ronald; Lumsdaine, Andrew; Sabry, Amr
2
2010
Not by equations alone. Reasoning with extensible effects. Zbl 1522.68124
Kiselyov, Oleg; Mu, Shin-Cheng; Sabry, Amr
2
2021
Computing with semirings and weak rig groupoids. Zbl 1335.68048
Carette, Jacques; Sabry, Amr
2
2016
Monadic encapsulation in ML. Zbl 1345.68073
Semmelroth, Miley; Sabry, Amr
2
1999
Expressing contract monitors as patterns of communication. Zbl 1360.68370
Swords, Cameron; Sabry, Amr; Tobin-Hochstadt, Sam
2
2015
Correctness of monadic state: An imperative call-by-need calculus. Zbl 0925.68292
Ariola, Zena; Sabry, Amr
1
1997
Putting operational techniques to the test: A syntactic theory for behavioral Verilog. Zbl 0959.68020
Fiskio-Lasseter, John; Sabry, Amr
1
1999
An extended account of contract monitoring strategies as patterns of communication. Zbl 1476.68055
Swords, Cameron; Sabry, Amr; Tobin-Hochstadt, Sam
1
2018
Not by equations alone. Reasoning with extensible effects. Zbl 1522.68124
Kiselyov, Oleg; Mu, Shin-Cheng; Sabry, Amr
2
2021
From symmetric pattern-matching to quantum control. Zbl 1504.68075
Sabry, Amr; Valiron, Benoît; Vizzotto, Juliana Kaizer
3
2018
An extended account of contract monitoring strategies as patterns of communication. Zbl 1476.68055
Swords, Cameron; Sabry, Amr; Tobin-Hochstadt, Sam
1
2018
Computing with semirings and weak rig groupoids. Zbl 1335.68048
Carette, Jacques; Sabry, Amr
2
2016
Expressing contract monitors as patterns of communication. Zbl 1360.68370
Swords, Cameron; Sabry, Amr; Tobin-Hochstadt, Sam
2
2015
Discrete quantum theories. Zbl 1286.81046
Hanson, Andrew J.; Ortiz, Gerardo; Sabry, Amr; Tai, Yu-Tsung
3
2014
Geometry of discrete quantum computing. Zbl 1268.81009
Hanson, Andrew J.; Ortiz, Gerardo; Sabry, Amr; Tai, Yu-Tsung
4
2013
Isomorphic interpreters from logically reversible abstract machines. Zbl 1451.68119
James, Roshan P.; Sabry, Amr
3
2013
Information effects. Zbl 1321.68267
James, Roshan P.; Sabry, Amr
14
2012
Lazy evaluation and delimited control. Zbl 1191.68159
Garcia, Ronald; Lumsdaine, Andrew; Sabry, Amr
2
2010
Lazy evaluation and delimited control. Zbl 1315.68049
Garcia, Ronald; Lumsdaine, Andrew; Sabry, Amr
6
2009
A type-theoretic foundation of delimited continuations. Zbl 1213.68187
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr
5
2009
The arrow calculus as a quantum programming language. Zbl 1246.68101
Vizzotto, Juliana Kaizer; Du Bois, André Rauber; Sabry, Amr
2
2009
A monadic framework for delimited continuations. Zbl 1130.68038
Dyvbig, R. Kent; Jones, Simon Peyton; Sabry, Amr
16
2007
A proof-theoretic foundation of abortive continuations. Zbl 1128.68089
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr
10
2007
An algebra of pure quantum programming. Zbl 1277.68053
Altenkirch, Thorsten; Grattage, Jonathan; Vizzotto, Juliana K.; Sabry, Amr
9
2007
Delimited dynamic binding. Zbl 1321.68128
Kiselyov, Oleg; Shan, Chung-chieh; Sabry, Amr
9
2006
Structuring quantum effects: superoperators as arrows. Zbl 1122.68062
Vizzotto, Juliana; Altenkirch, Thorsten; Sabry, Amr
9
2006
Backtracking, interleaving, and terminating monad transformers (functional pearl). Zbl 1302.68061
Kiselyov, Oleg; Shan, Chung-chieh; Friedman, Daniel P.; Sabry, Amr
17
2005
A type-theoretic foundation of continuations and prompts. Zbl 1323.68090
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr
9
2004
An abstract monadic semantics for value recursion. Zbl 1089.68029
Moggi, Eugenio; Sabry, Amr
6
2004
Macros as multi-stage computations: type-safe, generative, binding macros in MacroML. Zbl 1323.68116
Ganz, Steven E.; Sabry, Amr; Taha, Walid
8
2001
Monadic encapsulation of effects: A revised approach. (Extended version). Zbl 1037.68023
Moggi, E.; Sabry, Amr
8
2001
From syntactic theories to interpreters: Automating the proof of unique decomposition. Zbl 1051.68101
Xiao, Yong; Sabry, Amr; Ariola, Zena M.
5
2001
Monadic encapsulation in ML. Zbl 1345.68073
Semmelroth, Miley; Sabry, Amr
2
1999
Putting operational techniques to the test: A syntactic theory for behavioral Verilog. Zbl 0959.68020
Fiskio-Lasseter, John; Sabry, Amr
1
1999
What is a purely functional language? Zbl 0917.68033
Sabry, Amr
4
1998
Monadic state: axiomatization and type safety. Zbl 1369.68107
Launchbury, John; Sabry, Amr
4
1997
Correctness of monadic state: An imperative call-by-need calculus. Zbl 0925.68292
Ariola, Zena; Sabry, Amr
1
1997
A reflection on call-by-value. Zbl 1345.68086
Sabry, Amr; Wadler, Philip
11
1996
all cited Publications top 5 cited Publications
all top 5

Cited by 224 Authors

12 Sabry, Amr
7 Shan, Chung-chieh
6 Danvy, Olivier
6 Herbelin, Hugo
6 Kiselyov, Oleg
5 Ariola, Zena M.
5 Kaarsgaard, Robin
4 Arrighi, Pablo
4 Biernacka, Małgorzata
4 Biernacki, Dariusz
4 Paolini, Luca
4 Schrijvers, Tom
4 Vizzotto, Juliana Kaizer
3 Asai, Kenichi
3 Du Bois, André Rauber
3 Fluet, Matthew T.
3 Glück, Robert
3 Guerrieri, Giulio
3 Piccolo, Mauro
3 Roversi, Luca
3 van den Berg, Birthe
3 Yokoyama, Tetsuo
2 Accattoli, Beniamino
2 Atkey, Robert
2 Axelsen, Holger Bock
2 Brachthäuser, Jonathan Immanuel
2 Carette, Jacques
2 Charatonik, Witold
2 Cong, Youyou
2 Díaz-Caro, Alejandro
2 Donnelly, Kevin P.
2 Dowek, Gilles
2 Filinski, Andrzej
2 Friedman, Daniel P.
2 Grattage, Jonathan
2 Heunen, Chris
2 Hillerström, Daniel
2 Hyland, J. Martin E.
2 Kuzmak, Andrij R.
2 Lenglet, Sergueï
2 Lindley, Sam
2 Longley, John R.
2 Materzok, Marek
2 Millikin, Kevin
2 Naibo, Alberto
2 Nielsen, Lasse R.
2 Ostermann, Klaus
2 Schuster, Philipp
2 Swords, Cameron
2 Taha, Walid
2 Valiron, Benoît
2 Wu, Nicolas
2 Zerny, Ian
1 Abate, Carmine
1 Adams, Michael D.
1 Ahmed, Amal
1 Aiken, Alex
1 Altenkirch, Thorsten
1 Amblard, Maxime
1 Bach Poulsen, Casper
1 Ben-Zvi, Michael
1 Benton, Nick
1 Blanco, Roberto
1 Boulytchev, Dmitry
1 Bowman, William J.
1 Buisson, Jérémy
1 Byrd, William E.
1 Chen, Chao-Hong
1 Chirvăsitu, Alexandru
1 Choudhury, Vikraman
1 Ciobâcă, Ştefan
1 Clément, Alexandre
1 Curien, Pierre-Louis
1 da Rocha Costa, Antônio Carlos
1 Dagnat, Fabien
1 de Groote, Philippe
1 de’Liguoro, Ugo
1 Devriese, Dominique
1 Downen, Paul
1 Durier, Adrien
1 Ellerman, David P.
1 Erdweg, Sebastian
1 Espírito Santo, José Carlos
1 Faggian, Claudia
1 Feitosa, Samuel S.
1 Fiore, Marcelo P.
1 Fischer, Sebastian
1 Frydryszak, Andrzej M.
1 Gadella, Manuel
1 Ganz, Steven E.
1 Garcia, Ronald
1 Garg, Deepak
1 Gatti, Laura N.
1 Geron, Bram
1 Geuvers, Jan Herman
1 Ghilezan, Silvia
1 Gieysztor, Maria
1 Gomes, Victor B. F.
1 Gommerstadt, Hannah
1 Goncharov, Sergeĭ Savost’yanovich
...and 124 more Authors
all top 5

Cited in 15 Serials

17 Journal of Functional Programming
9 Theoretical Computer Science
9 Higher-Order and Symbolic Computation
6 Logical Methods in Computer Science
3 Journal of Logical and Algebraic Methods in Programming
2 Quantum Information Processing
1 Journal of Algebra
1 Journal of Computer and System Sciences
1 Studia Logica
1 Synthese
1 Annals of Pure and Applied Logic
1 Journal of Automated Reasoning
1 Mathematical Structures in Computer Science
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Physics A: Mathematical and Theoretical
all top 5

Cited in 14 Fields

128 Computer science (68-XX)
36 Mathematical logic and foundations (03-XX)
21 Quantum theory (81-XX)
14 Category theory; homological algebra (18-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Field theory and polynomials (12-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Associative rings and algebras (16-XX)
1 Nonassociative rings and algebras (17-XX)
1 Functional analysis (46-XX)
1 Geometry (51-XX)
1 Differential geometry (53-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year