Contents

# Contents

## Idea

Quipper is a functional quantum programming language, specifically a domain specific programming language for quantum circuits which is embedded into Haskell. As such it is similar to QWIRE.

## References

### General

Resources:

Precursor discussion:

Original articles on Quipper:

Review:

On quantum software verification for/with Quipper:

• Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani, Towards Quantum Programs Verification: From Quipper Circuits to QPMC, In: Devitt S., Lanese I. (eds) Reversible Computation. RC 2016. Lecture Notes in Computer Science, vol 9720. Springer, Cham (doi:10.1007/978-3-319-40578-0_16)

### Dependent linear types and categorical semantics

Discussion of some dependent linear type theory and categorical semantics for Quipper:

### Dynamic lifting

The issue of “dynamic lifting” (of “bits” resulting from quantum measurement back into the “context”):

Last revised on November 26, 2022 at 06:43:34. See the history of this page for a list of all contributions to it.