Vladimir Zamdzhiev

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 29

Top Topics

Programming Language

Top Venues

Proc. ACM Program. Lang.

Publications

Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages. LICS (2023)
Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev
Type-safe Quantum Programming in Idris. ESOP (2023)
Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Semantics for variational Quantum programming. Proc. ACM Program. Lang. 6 (POPL) (2022)
Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev
Central Submonads and Notions of Computation. CoRR (2022)
Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev
Quantum Expectation Transformers for Cost Analysis. LICS (2022)
Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev
Quantum Expectation Transformers for Cost Analysis. CoRR (2022)
Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Commutative Monads for Probabilistic Programming Languages. CoRR (2021)
Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev
Qimaera: Type-safe (Variational) Quantum Programming in Idris. CoRR (2021)
Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Semantics for Variational Quantum Programming. CoRR (2021)
Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Commutative Monads for Probabilistic Programming Languages. LICS (2021)
Xiaodong Jia, Michael W. Mislove, Vladimir Zamdzhiev
The Central Valuations Monad. CoRR (2021)
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
LNL-FPC: The Linear/Non-linear Fixpoint Calculus. Log. Methods Comput. Sci. 17 (2) (2021)
Xiaodong Jia, Michael W. Mislove, Vladimir Zamdzhiev
The Central Valuations Monad (Early Ideas). CALCO (2021)
Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. FoSSaCS (2020)
Vladimir Zamdzhiev
Semantics for first-order affine inductive data types via slice categories. CoRR (2020)
Vladimir Zamdzhiev
Computational Adequacy for Substructural Lambda Calculi. ACT (2020)
Vladimir Zamdzhiev
Semantics for First-Order Affine Inductive Data Types via Slice Categories. CMCS (2020)
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Mixed Linear and Non-linear Recursive Types. CoRR (2019)
Vladimir Zamdzhiev
Reflecting Algebraically Compact Functors. ACT (2019)
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Mixed linear and non-linear recursive types. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. CoRR (2019)
Vladimir Zamdzhiev
A Framework for Rewriting Families of String Diagrams. TERMGRAPH@FSCD (2018)
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. CoRR (2018)
Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. LICS (2018)
Aleks Kissinger, Vladimir Zamdzhiev
Quantomatic: A proof assistant for diagrammatic reasoning. CoRR (2015)
Aleks Kissinger, Vladimir Zamdzhiev
Quantomatic: A Proof Assistant for Diagrammatic Reasoning. CADE (2015)
Aleks Kissinger, Vladimir Zamdzhiev
Equational reasoning with context-free families of string diagrams. CoRR (2015)
Aleks Kissinger, Vladimir Zamdzhiev
!-graphs with trivial overlap are context-free. GaM (2015)
Aleks Kissinger, Vladimir Zamdzhiev
Equational Reasoning with Context-Free Families of String Diagrams. ICGT (2015)
Christian Schröder de Witt, Vladimir Zamdzhiev
The ZX calculus is incomplete for quantum mechanics. QPL (2014)