Follow
Amr Sabry
Amr Sabry
Professor of Computer Science, Indiana University
Verified email at indiana.edu - Homepage
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
6981993
Reasoning about programs in continuation-passing style
A Sabry, M Felleisen
Lisp and symbolic computation 6 (3), 289-360, 1993
5101993
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
4241996
A reflection on call-by-value
A Sabry, P Wadler
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (6), 916-941, 1997
1661997
Backtracking, interleaving, and terminating monad transformers:(functional pearl)
O Kiselyov, C Shan, DP Friedman, A Sabry
ACM SIGPLAN Notices 40 (9), 192-203, 2005
1332005
Extensible effects: an alternative to monad transformers
O Kiselyov, A Sabry, C Swords
ACM SIGPLAN Notices 48 (12), 59-70, 2013
1302013
A monadic framework for delimited continuations
RK Dyvbig, SP Jones, A Sabry
Journal of Functional Programming 17 (6), 687-730, 2007
118*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
1152001
A type-theoretic foundation of delimited continuations
ZM Ariola, H Herbelin, A Sabry
Higher-order and symbolic computation 22 (3), 233-273, 2009
93*2009
Delimited dynamic binding
O Kiselyov, C Shan, A Sabry
ACM SIGPLAN Notices 41 (9), 26-37, 2006
882006
What is a purely functional language?
A Sabry
Journal of Functional Programming 8 (1), 1-22, 1998
631998
Modeling quantum computing in Haskell
A Sabry
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 39-49, 2003
622003
Information effects
RP James, A Sabry
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
562012
An algebra of pure quantum programming
T Altenkirch, J Grattage, JK Vizzotto, A Sabry
Electronic Notes in Theoretical Computer Science 170, 23-47, 2007
542007
Is continuation-passing useful for data flow analysis?
A Sabry, M Felleisen
ACM SIGPLAN Notices 29 (6), 1-12, 1994
531994
Monadic state: Axiomatization and type safety
J Launchbury, A Sabry
ACM SIGPLAN Notices 32 (8), 227-238, 1997
511997
Structuring quantum effects: Superoperators as arrows
J Vizzotto, T Altenkirch, A Sabry
Mathematical Structures in Computer Science 16 (3), 453-468, 2006
472006
Monadic encapsulation of effects: a revised approach (extended version)
E Moggi, A Sabry
Journal of Functional Programming 11 (06), 591-627, 2001
472001
Monadic encapsulation in ML
M Semmelroth, A Sabry
ACM SIGPLAN Notices 34 (9), 8-17, 1999
411999
A proof-theoretic foundation of abortive continuations
ZM Ariola, H Herbelin, A Sabry
Higher-Order and Symbolic Computation 20 (4), 403-429, 2007
39*2007
The system can't perform the operation now. Try again later.
Articles 1–20