Folgen
Amr Sabry
Amr Sabry
Professor of Computer Science, Indiana University
Bestätigte E-Mail-Adresse bei indiana.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The essence of compiling with continuations
C Flanagan, A Sabry, BF Duba, M Felleisen
ACM SIGPLAN Notices 28 (6), 237-247, 1993
7281993
Reasoning about programs in continuation-passing style
A Sabry, M Felleisen
Lisp and symbolic computation 6 (3), 289-360, 1993
5341993
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
4371996
A reflection on call-by-value
A Sabry, P Wadler
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (6), 916-941, 1997
1711997
Backtracking, interleaving, and terminating monad transformers:(functional pearl)
O Kiselyov, C Shan, DP Friedman, A Sabry
ACM SIGPLAN Notices 40 (9), 192-203, 2005
1432005
Extensible effects: an alternative to monad transformers
O Kiselyov, A Sabry, C Swords
ACM SIGPLAN Notices 48 (12), 59-70, 2013
1362013
A monadic framework for delimited continuations
RK Dyvbig, SP Jones, A Sabry
Journal of Functional Programming 17 (6), 687-730, 2007
1222007
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
1162001
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
882006
Information effects
RP James, A Sabry
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
642012
Modeling quantum computing in Haskell
A Sabry
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 39-49, 2003
642003
What is a purely functional language?
A Sabry
Journal of Functional Programming 8 (1), 1-22, 1998
621998
An algebra of pure quantum programming
T Altenkirch, J Grattage, JK Vizzotto, A Sabry
Electronic Notes in Theoretical Computer Science 170, 23-47, 2007
552007
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
Monadic encapsulation of effects: a revised approach (extended version)
E Moggi, A Sabry
Journal of Functional Programming 11 (06), 591-627, 2001
482001
Structuring quantum effects: Superoperators as arrows
J Vizzotto, T Altenkirch, A Sabry
Mathematical Structures in Computer Science 16 (3), 453-468, 2006
462006
A proof-theoretic foundation of abortive continuations
ZM Ariola, H Herbelin, A Sabry
Higher-Order and Symbolic Computation 20 (4), 403-429, 2007
40*2007
Monadic encapsulation in ML
M Semmelroth, A Sabry
ACM SIGPLAN Notices 34 (9), 8-17, 1999
401999
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20