- The Essence of Compiling with Continuations Cormac Flanagan \Lambda Amr Sabry \Lambda Bruce F. Duba Matthias Felleisen \Lambda
- Technical Report No. 545 Proceedings of the Third
- Quantum Effects Juliana K. Vizzotto1
- Macros as MultiStage Computations: TypeSafe, Generative, Binding Macros in MacroML
- A TypeTheoretic Foundation of Continuations and Prompts
- Proving the Correctness of Reactive Systems Using Sized Types
- A Type-Theoretic Foundation of Continuations and Prompts
- Reasoning about Programs ContinuationPassing Style
- A Reflection on CallbyValue Amr Sabry \Lambda
- Continuations in Programming Practice: Introduction and Survey
- LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??--??, 1993 fl 1993 Kluwer Academic Publishers --Manufactured in The Netherlands
- Technical Report No. 546 Recursion is
- A Type-Theoretic Foundation of Delimited Continuations
- Debugging Reactive Systems in Haskell Amr Sabry Jan Sparud
- Math. Struct. in Comp. Science Structuring Quantum E#ects
- Is ContinuationPassing Useful for Data Flow Analysis?
- Monadic Encapsulation in ML Miley Semmelroth Amr Sabry
- A TypeTheoretic Foundation of Delimited Continuations +
- Java Security in Parallel Universes 1 Amr Sabry 2 Stephen Fickas 3
- A ProofTheoretic Foundation of Abortive Continuations +
- Yield: Mainstream Delimited Continuations Roshan P. James
- Technical Report No. 608 A Proof-Theoretic Foundation of
- Dagger Traced Symmetric Monoidal Categories and Reversible Programming
- understands computation
- Theoretical Informatics and Applications Will be set by the publisher Informatique Th'eorique et Applications
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- HOOTS99 Preliminary Version Putting Operational Techniques to the Test
- Modeling Quantum Computing in Haskell Amr Sabry #
- Backtracking, Interleaving, and Terminating Monad Transformers
- Declarative Programming Across the Undergraduate Curriculum
- Sequent Calculi and Abstract Machines ZENA M. ARIOLA
- A Type-Theoretic Foundation of Continuations and Prompts
- Java Access Modifiers in Parallel Universes Amr Sabry Stephen Fickas
- Note on Axiomatizing the Semantics of Control Operators
- An Abstract Monadic Semantics for Value Recursion Eugenio Moggi \Lambda
- Monadic State: Axiomatization and Type Safety John Launchbury Amr Sabry
- From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition
- A FORMAL DESCRIPTION OF BEHAVIORAL VERILOG BASED ON AXIOMATIC SEMANTICS
- Backtracking, Interleaving, and Terminating Monad Transformers
- Technical Report No. 608 A ProofTheoretic Foundation of
- Is ContinuationPassing Useful for Data Flow Analysis?
- QPL 2005 Preliminary Version An Algebra of Pure Quantum Programming
- Lazy Evaluation and Delimited Control Ronald Garcia
- Under consideration for publication in J. Functional Programming 1 A Monadic Framework for Delimited
- Reasoning about Explicit and Implicit Representations of State
- A Reflection on CallbyValue Amr Sabry Philip Wadler
- Programming with Isomorphisms The Notion of Information Effects
- Sequent Calculi and Abstract Machines ZENA M. ARIOLA
- Delimited Dynamic Binding Oleg Kiselyov
- Under consideration for publication in J. Functional Programming 1 A Monadic Framework for Delimited
- Math. Struct. in Comp. Science Structuring Quantum Effects
- Modeling Quantum Computing in Haskell Department of Computer Science, Indiana University
- MODELANDO COMPUTAC ~AO QU^ANTICA EM HASKELL Resumo. O artigo desenvolve um modelo para a computac~ao qu^antica desde
- Technical Report No. 545 Proceedings of the Third
- A Type-Theoretic Foundation of Continuations and Prompts
- J. Functional Programming 1 (1): 1--000, January 1993 c fl 1993 Cambridge University Press 1
- A TYPE-AND-EFFECT SYSTEM FOR ENCAPSULATING MEMORY IN JAVA
- QPL 2005 Preliminary Version An Algebra of Pure Quantum Programming
- Reasoning with Continuations III: A Complete Calculus of Control
- A Proof-Theoretic Foundation of Abortive Continuations
- J. Functional Programming 1 (1): 1--000, January 1993 c fl 1993 Cambridge University Press 1
- Technical Report No. 546 Recursion is
- J. Functional Programming 1 (1): 1--000, January 1993 c fl 1993 Cambridge University Press 1
- Information Effects Roshan P. James
- Embracing the Laws of Physics Roshan P. James and Amr Sabry
- Yield, the Control Operator Exploring Session Types
