Functional Quantum Programming
No abstract available.
Related papers
- Structure and interpretation of quantum mechanics: a functional framework Haskell 2003
- Modeling quantum computing in Haskell Haskell 2003
- Conservation of information: applications in functional, reversible, and quantum computing ICFP 2003
- Qudit Quantum Programming with Projective Cliffords POPL 2026
- Enabling accuracy-aware Quantum compilers using symbolic resource estimation OOPSLA 2020
- A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware ICFP 2025
- ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language CGO 2025
- Quipper: a scalable quantum programming language PLDI 2013