Amr Sabry

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
A Synthesis of Hidden Subgroup Quantum Algorithms and Quantum Chemical Dynamics	2022-12-25	Paper
From reversible programs to univalent universes and back	2022-04-25	Paper
Not by equations alone: Reasoning with extensible effects	2021-12-22	Paper
Fractional types. Expressive and safe space management for ancilla bits	2021-07-05	Paper
Embracing the Laws of Physics: Three Reversible Models of Computation	2018-11-08	Paper
A library of reversible circuit transformations (work in progress)	2018-10-17	Paper
An extended account of contract monitoring strategies as patterns of communication	2018-08-03	Paper
From symmetric pattern-matching to quantum control	2018-07-17	Paper
Quantum Interval-Valued Probability: Contextuality and the Born Rule	2017-12-24	Paper
Monadic state	2017-08-21	Paper
Expressing contract monitors as patterns of communication	2017-05-10	Paper
A reflection on call-by-value	2016-09-01	Paper
Monadic encapsulation in ML	2016-09-01	Paper
Corrigendum: Geometry of discrete quantum computing	2016-08-02	Paper
Computing with Semirings and Weak Rig Groupoids	2016-04-26	Paper
Isomorphic Interpreters from Logically Reversible Abstract Machines	2015-11-30	Paper
Information effects	2015-09-11	Paper
Delimited dynamic binding	2015-08-03	Paper
Lazy evaluation and delimited control	2015-07-03	Paper
Macros as multi-stage computations	2015-03-09	Paper
A type-theoretic foundation of continuations and prompts	2015-03-09	Paper
Backtracking, interleaving, and terminating monad transformers	2015-01-06	Paper
Discrete quantum theories	2014-04-11	Paper
Quantum Arrows in Haskell	2014-01-17	Paper
An Algebra of Pure Quantum Programming	2013-12-06	Paper
Geometry of discrete quantum computing	2013-05-27	Paper
The Power of Discrete Quantum Theories	2011-04-08	Paper
Quantum Computing over Finite Fields	2011-01-19	Paper
Lazy Evaluation and Delimited Control	2010-07-27	Paper
A type-theoretic foundation of delimited continuations	2010-05-05	Paper
Reasoning about General Quantum Programs over Mixed States	2009-12-09	Paper
The Arrow Calculus as a Quantum Programming Language	2009-07-02	Paper
A proof-theoretic foundation of abortive continuations	2007-12-17	Paper
A monadic framework for delimited continuations	2007-11-22	Paper
Structuring quantum effects: superoperators as arrows	2006-08-28	Paper
An abstract monadic semantics for value recursion	2005-03-21	Paper
CPS in little pieces: composing partial continuations	2003-09-04	Paper
From syntactic theories to interpreters: Automating the proof of unique decomposition	2002-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4499194	2001-03-06	Paper
Monadic encapsulation of effects: a revised approach (extended version)	2001-01-01	Paper
What is a purely functional language?	1999-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4222931	1999-01-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Amr Sabry