Search results for "Amr Sabry"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Roshan P. James, Amr Sabry	Information effects.	POPL	2012	DBLP DOI BibTeX RDF
1	Ronald Garcia, Andrew Lumsdaine, Amr Sabry	Lazy Evaluation and Delimited Control	Logical Methods in Computer Science	2010	DBLP BibTeX RDF
1	Zena M. Ariola, Aaron Bohannon, Amr Sabry	Sequent calculi and abstract machines.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	Krivine machine, duality, explicit substitutions, natural deduction, Curry-Howard isomorphism
1	Zena M. Ariola, Hugo Herbelin, Amr Sabry	A type-theoretic foundation of delimited continuations.	Higher-Order and Symbolic Computation	2009	DBLP DOI BibTeX RDF
1	Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry	The Arrow Calculus as a Quantum Programming Language.	WoLLIC	2009	DBLP DOI BibTeX RDF
1	Ronald Garcia, Andrew Lumsdaine, Amr Sabry	Lazy evaluation and delimited control.	POPL	2009	DBLP DOI BibTeX RDF	call-by-need, lambda calculus, abstract machines, delimited continuations, reduction semantics
1	Juliana Kaizer Vizzotto, Giovani Rubert Librelotto, Amr Sabry	Reasoning about General Quantum Programs over Mixed States.	SBMF	2009	DBLP DOI BibTeX RDF
1	Juliana Kaizer Vizzotto, Antônio Carlos da Rocha Costa, Amr Sabry	Quantum Arrows in Haskell.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Amr Sabry	Side Effects.	Wiley Encyclopedia of Computer Science and Engineering	2008	DBLP DOI BibTeX RDF
1	Thorsten Altenkirch, Jonathan Grattage, Juliana Kaizer Vizzotto, Amr Sabry	An Algebra of Pure Quantum Programming.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Zena M. Ariola, Hugo Herbelin, Amr Sabry	A proof-theoretic foundation of abortive continuations.	Higher-Order and Symbolic Computation	2007	DBLP DOI BibTeX RDF	Callcc, Minimal logic, Intuitionistic logic, Classical logic
1	R. Kent Dybvig, Simon L. Peyton Jones, Amr Sabry	A monadic framework for delimited continuations.	J. Funct. Program.	2007	DBLP DOI BibTeX RDF
1	Juliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry	Structuring quantum effects: superoperators as arrows.	Mathematical Structures in Computer Science	2006	DBLP DOI BibTeX RDF
1	Oleg Kiselyov, Chung-chieh Shan, Amr Sabry	Delimited dynamic binding.	ICFP	2006	DBLP DOI BibTeX RDF	monads, dynamic binding, delimited continuations
1	Juliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry	Structuring quantum effects: superoperators as arrows	CoRR	2005	DBLP BibTeX RDF
1	Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry	Backtracking, interleaving, and terminating monad transformers: (functional pearl).	ICFP	2005	DBLP DOI BibTeX RDF	control delimiters, logic programming, Prolog, streams, Haskell, continuations
1	Eugenio Moggi, Amr Sabry	An abstract monadic semantics for value recursion.	ITA	2004	DBLP DOI BibTeX RDF
1	Zena M. Ariola, Hugo Herbelin, Amr Sabry	A type-theoretic foundation of continuations and prompts.	ICFP	2004	DBLP DOI BibTeX RDF	callcc, prompt, subcontinuation, continuation, monad, subtraction, shift, reset
1	Olivier Danvy, Amr Sabry	Editorial.	Higher-Order and Symbolic Computation	2002	DBLP DOI BibTeX RDF
1	Daniel P. Friedman, Amr Sabry	CPS in little pieces: composing partial continuations.	J. Funct. Program.	2002	DBLP DOI BibTeX RDF
1	Yong Xiao, Amr Sabry, Zena M. Ariola	From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition.	Higher-Order and Symbolic Computation	2001	DBLP DOI BibTeX RDF
1	Eugenio Moggi, Amr Sabry	Monadic encapsulation of effects: a revised approach (extended version).	J. Funct. Program.	2001	DBLP DOI BibTeX RDF
1	Steven E. Ganz, Amr Sabry, Walid Taha	Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML.	ICFP	2001	DBLP DOI BibTeX RDF	ML
1	John Howard Eli Fiskio-Lasseter, Amr Sabry	Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog.	Electr. Notes Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	Miley Semmelroth, Amr Sabry	Monadic Encapsulation in ML.	ICFP	1999	DBLP DOI BibTeX RDF
1	Amr Sabry	What is a Purely Functional Language?	J. Funct. Program.	1998	DBLP BibTeX RDF
1	Zena M. Ariola, Amr Sabry	Correctness of Monadic State: An Imperative Call-by-Need Calculus.	POPL	1998	DBLP DOI BibTeX RDF	Haskell
1	Zena M. Ariola, Amr Sabry	Correctness of Monadic State: An Imperative Call-by-Need Calculus.	Electr. Notes Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
1	Amr Sabry, Philip Wadler	A Reflection on Call-by-Value.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	compiling, continuations, category theory, Galois connections
1	John Launchbury, Amr Sabry	Monadic State: Axiomatization and Type Safety.	ICFP	1997	DBLP DOI BibTeX RDF	Haskell
1	John Hughes, Lars Pareto, Amr Sabry	Proving the Correctness of Reactive Systems Using Sized Types.	POPL	1996	DBLP DOI BibTeX RDF
1	Amr Sabry, Philip Wadler	A Reflection on Call-by-Value.	ICFP	1996	DBLP DOI BibTeX RDF
1	Amr Sabry, Matthias Felleisen	Is Continuation-Passing Useful for Data Flow Analysis?	PLDI	1994	DBLP DOI BibTeX RDF
1	Amr Sabry, Matthias Felleisen	Reasoning about Programs in Continuation-Passing Style.	Lisp and Symbolic Computation	1993	DBLP BibTeX RDF
1	Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen	The Essence of Compiling with Continuations.	PLDI	1993	DBLP DOI BibTeX RDF
1	Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen	The essence of compiling with continuations (with retrospective)	Best of PLDI	1993	DBLP DOI BibTeX RDF
1	Amr Sabry, Matthias Felleisen	Reasoning About Programs in Continuation-Passing Style.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF

Publications of "Amr Sabry" ( http://dblp.L3S.de/Authors/Amr_Sabry )