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