Amr Sabry

	2009
33		Ronald Garcia, Andrew Lumsdaine, Amr Sabry: Lazy evaluation and delimited control. POPL 2009: 153-164
32		Juliana Kaizer Vizzotto, Giovani Rubert Librelotto, Amr Sabry: Reasoning about General Quantum Programs over Mixed States. SBMF 2009: 321-335
31		Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry: The Arrow Calculus as a Quantum Programming Language. WoLLIC 2009: 379-393
30		Zena M. Ariola, Aaron Bohannon, Amr Sabry: Sequent calculi and abstract machines. ACM Trans. Program. Lang. Syst. 31(4): (2009)
	2008
29		Amr Sabry: Side Effects. Wiley Encyclopedia of Computer Science and Engineering 2008
28		Juliana Kaizer Vizzotto, Antônio Carlos da Rocha Costa, Amr Sabry: Quantum Arrows in Haskell. Electr. Notes Theor. Comput. Sci. 210: 139-152 (2008)
	2007
27		Thorsten Altenkirch, Jonathan Grattage, Juliana Kaizer Vizzotto, Amr Sabry: An Algebra of Pure Quantum Programming. Electr. Notes Theor. Comput. Sci. 170: 23-47 (2007)
26		Zena M. Ariola, Hugo Herbelin, Amr Sabry: A proof-theoretic foundation of abortive continuations. Higher-Order and Symbolic Computation 20(4): 403-429 (2007)
	2006
25		Oleg Kiselyov, Chung-chieh Shan, Amr Sabry: Delimited dynamic binding. ICFP 2006: 26-37
24		Juliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry: Structuring quantum effects: superoperators as arrows. Mathematical Structures in Computer Science 16(3): 453-468 (2006)
	2005
23		Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry: Backtracking, interleaving, and terminating monad transformers: (functional pearl). ICFP 2005: 192-203
22		Juliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry: Structuring quantum effects: superoperators as arrows CoRR abs/quant-ph/0501151: (2005)
	2004
21		Zena M. Ariola, Hugo Herbelin, Amr Sabry: A type-theoretic foundation of continuations and prompts. ICFP 2004: 40-53
20		Eugenio Moggi, Amr Sabry: An abstract monadic semantics for value recursion. ITA 38(4): 375-400 (2004)
	2002
19		Olivier Danvy, Amr Sabry: Editorial. Higher-Order and Symbolic Computation 15(2-3): 139-140 (2002)
18		Daniel P. Friedman, Amr Sabry: CPS in little pieces: composing partial continuations. J. Funct. Program. 12(6): 617-622 (2002)
	2001
17		Steven E. Ganz, Amr Sabry, Walid Taha: Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. ICFP 2001: 74-85
16		Yong Xiao, Amr Sabry, Zena M. Ariola: From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition. Higher-Order and Symbolic Computation 14(4): 387-409 (2001)
15		Eugenio Moggi, Amr Sabry: Monadic encapsulation of effects: a revised approach (extended version). J. Funct. Program. 11(6): 591-627 (2001)
	1999
14		Miley Semmelroth, Amr Sabry: Monadic Encapsulation in ML. ICFP 1999: 8-17
13		John Howard Eli Fiskio-Lasseter, Amr Sabry: Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog. Electr. Notes Theor. Comput. Sci. 26: (1999)
	1998
12		Zena M. Ariola, Amr Sabry: Correctness of Monadic State: An Imperative Call-by-Need Calculus. POPL 1998: 62-74
11		Amr Sabry: What is a Purely Functional Language? J. Funct. Program. 8(1): 1-22 (1998)
	1997
10		John Launchbury, Amr Sabry: Monadic State: Axiomatization and Type Safety. ICFP 1997: 227-238
9		Amr Sabry, Philip Wadler: A Reflection on Call-by-Value. ACM Trans. Program. Lang. Syst. 19(6): 916-941 (1997)
8		Zena M. Ariola, Amr Sabry: Correctness of Monadic State: An Imperative Call-by-Need Calculus. Electr. Notes Theor. Comput. Sci. 10: (1997)
	1996
7		Amr Sabry, Philip Wadler: A Reflection on Call-by-Value. ICFP 1996: 13-24
6		John Hughes, Lars Pareto, Amr Sabry: Proving the Correctness of Reactive Systems Using Sized Types. POPL 1996: 410-423
	1994
5		Amr Sabry, Matthias Felleisen: Is Continuation-Passing Useful for Data Flow Analysis? PLDI 1994: 1-12
	1993
4		Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen: The essence of compiling with continuations (with retrospective) Best of PLDI 1993: 502-514
3		Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen: The Essence of Compiling with Continuations. PLDI 1993: 237-247
2		Amr Sabry, Matthias Felleisen: Reasoning about Programs in Continuation-Passing Style. Lisp and Symbolic Computation 6(3-4): 289-360 (1993)
	1992
1		Amr Sabry, Matthias Felleisen: Reasoning About Programs in Continuation-Passing Style. LISP and Functional Programming 1992: 288-298

Coauthor Index

1	Thorsten Altenkirch	[22] [24] [27]
2	Zena M. Ariola	[8] [12] [16] [21] [26] [30]
3	Aaron Bohannon	[30]
4	André Rauber Du Bois	[31]
5	Antônio Carlos da Rocha Costa	[28]
6	Olivier Danvy	[19]
7	Bruce F. Duba	[3] [4]
8	Matthias Felleisen	[1] [2] [3] [4] [5]
9	John Howard Eli Fiskio-Lasseter	[13]
10	Cormac Flanagan	[3] [4]
11	Daniel P. Friedman	[18] [23]
12	Steven E. Ganz	[17]
13	Ronald Garcia	[33]
14	Jonathan Grattage	[27]
15	Hugo Herbelin	[21] [26]
16	John Hughes	[6]
17	Oleg Kiselyov	[23] [25]
18	John Launchbury	[10]
19	Giovani Rubert Librelotto	[32]
20	Andrew Lumsdaine	[33]
21	Eugenio Moggi	[15] [20]
22	Lars Pareto	[6]
23	Miley Semmelroth	[14]
24	Chung-chieh Shan	[23] [25]
25	Walid Taha	[17]
26	Juliana Kaizer Vizzotto	[22] [24] [27] [28] [31] [32]
27	Philip Wadler	[7] [9]
28	Yong Xiao	[16]

Colors in the list of coauthors