Amr Sabry

Latest

• Scheme Pearl: Quantum Continuations
• Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages
• From Symmetric Pattern-Matching to Quantum Control
• Reasoning about General Quantum Programs over Mixed States
• The Arrow Calculus as a Quantum Programming Language
• Structuring quantum effects: superoperators as arrows