The following pages link to Amr Sabry (Q968363):
Displaying 20 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)
- An abstract monadic semantics for value recursion (Q4659889) (← 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)
