Year |
Citation |
Score |
2018 |
Tai Y, Hanson AJ, Ortiz G, Sabry A. Quantum interval-valued probability: Contextuality and the Born rule Physical Review A. 97. DOI: 10.1103/Physreva.97.052121 |
0.303 |
|
2018 |
Carette J, Chen C, Choudhury V, Sabry A. From Reversible Programs to Univalent Universes and Back Electronic Notes in Theoretical Computer Science. 336: 5-25. DOI: 10.1016/J.Entcs.2018.03.013 |
0.387 |
|
2013 |
James RP, Sabry A. Isomorphic interpreters from logically reversible abstract machines Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7581: 57-71. DOI: 10.1007/978-3-642-36315-3-5 |
0.572 |
|
2012 |
James RP, Sabry A. Information effects Acm Sigplan Notices. 47: 73-84. DOI: 10.1145/2103621.2103667 |
0.518 |
|
2009 |
Garcia R, Lumsdaine A, Sabry A. Lazy evaluation and delimited control Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 153-164. DOI: 10.2168/Lmcs-6(3:1)2010 |
0.338 |
|
2009 |
Ariola ZM, Bohannon A, Sabry A. Sequent calculi and abstract machines Acm Transactions On Programming Languages and Systems. 31. DOI: 10.1145/1516507.1516508 |
0.338 |
|
2008 |
Vizzotto JK, Costa ACdR, Sabry A. Quantum Arrows in Haskell Electronic Notes in Theoretical Computer Science. 210: 139-152. DOI: 10.1016/J.Entcs.2008.04.023 |
0.304 |
|
2007 |
Altenkirch T, Grattage J, Vizzotto JK, Sabry A. An Algebra of Pure Quantum Programming Electronic Notes in Theoretical Computer Science. 170: 23-47. DOI: 10.1016/J.Entcs.2006.12.010 |
0.368 |
|
2006 |
Vizzotto J, Altenkirch T, Sabry AMR. Structuring quantum effects: Superoperators as arrows Mathematical Structures in Computer Science. 16: 453-468. DOI: 10.1017/S0960129506005287 |
0.356 |
|
2004 |
Moggi E, Sabry A. An abstract monadic semantics for value recursion Rairo - Theoretical Informatics and Applications. 38: 375-400. DOI: 10.1051/Ita:2004018 |
0.328 |
|
2001 |
Moggi E, Sabry A. Monadic encapsulation of effects: A revised approach (extended version) Journal of Functional Programming. 11: 591-627. DOI: 10.1017/S0956796801004154 |
0.364 |
|
1999 |
Fiskio-Lasseter J, Sabry A. Putting operational techniques to the test: A syntactic theory for behavioral verilog Electronic Notes in Theoretical Computer Science. 26: 34-51. DOI: 10.1016/S1571-0661(05)80282-8 |
0.332 |
|
1998 |
Sabry A. What is a purely functional language? Journal of Functional Programming. 8: 1-22. DOI: 10.1017/S0956796897002943 |
0.413 |
|
1998 |
Ariola Z, Sabry A. Correctness of monadic state: An imperative call-by-need calculus Electronic Notes in Theoretical Computer Science. 10: 53. DOI: 10.1016/S1571-0661(05)80690-5 |
0.383 |
|
1997 |
Sabry A, Wadler P. A Reflection on Call-by-Value Acm Transactions On Programming Languages and Systems. 19: 916-941. DOI: 10.1145/267959.269968 |
0.308 |
|
1994 |
Sabry A, Felleisen M. Is continuation-passing useful for data flow analysis? Acm Sigplan Notices. 29: 1-12. DOI: 10.1145/773473.178244 |
0.308 |
|
Show low-probability matches. |