The following pages link to Amr Sabry (Q968363):
Displaying 34 items.
- A type-theoretic foundation of delimited continuations (Q968364) (← links)
- From syntactic theories to interpreters: Automating the proof of unique decomposition (Q1600662) (← links)
- From symmetric pattern-matching to quantum control (Q1652998) (← links)
- A library of reversible circuit transformations (work in progress) (Q1796404) (← links)
- Fractional types. Expressive and safe space management for ancilla bits (Q2039899) (← links)
- From reversible programs to univalent universes and back (Q2130579) (← links)
- A proof-theoretic foundation of abortive continuations (Q2464725) (← links)
- Computing with Semirings and Weak Rig Groupoids (Q2802473) (← links)
- A reflection on call-by-value (Q2817680) (← links)
- Monadic encapsulation in ML (Q2817709) (← links)
- An Algebra of Pure Quantum Programming (Q2864167) (← links)
- Quantum Arrows in Haskell (Q2870213) (← links)
- Backtracking, interleaving, and terminating monad transformers (Q2936782) (← links)
- Information effects (Q2942859) (← links)
- Expressing contract monitors as patterns of communication (Q2981991) (← links)
- Corrigendum: Geometry of discrete quantum computing (Q2994567) (← links)
- Monadic encapsulation of effects: a revised approach (extended version) (Q3150208) (← links)
- Isomorphic Interpreters from Logically Reversible Abstract Machines (Q3453735) (← links)
- Lazy Evaluation and Delimited Control (Q3575305) (← links)
- The Arrow Calculus as a Quantum Programming Language (Q3638297) (← links)
- Reasoning about General Quantum Programs over Mixed States (Q3651285) (← links)
- (Q4222931) (← links)
- What is a purely functional language? (Q4236757) (← links)
- (Q4499194) (← links)
- An extended account of contract monitoring strategies as patterns of communication (Q4577815) (← links)
- An abstract monadic semantics for value recursion (Q4659889) (← links)
- CPS in little pieces: composing partial continuations (Q4709846) (← links)
- Geometry of discrete quantum computing (Q4923837) (← links)
- Not by equations alone: Reasoning with extensible effects (Q5018775) (← links)
- Macros as multi-stage computations (Q5177999) (← links)
- A type-theoretic foundation of continuations and prompts (Q5178020) (← links)
- Lazy evaluation and delimited control (Q5261514) (← links)
- Quantum Interval-Valued Probability: Contextuality and the Born Rule (Q6295688) (← links)
- A Synthesis of Hidden Subgroup Quantum Algorithms and Quantum Chemical Dynamics (Q6421692) (← links)
