qPCF: a language for quantum circuit computations. We propose qPCF, a functional language able to define and manipulate quantum circuits in an easy and intuitive way. qPCF follows the tradition of “quantum data & classical control” languages, inspired to the QRAM model. Ideally, qPCF computes finite circuit descriptions which are offloaded to a quantum co-processor (i.e. a quantum device) for the execution. qPCF extends PCF with a new kind of datatype: quantum circuits. The typing of qPCF is quite different from the mainstream of “quantum data & classical control” languages that involves linear/exponential modalities. qPCF uses a simple form of dependent types to manage circuits and an implicit form of monad to manage quantum states via a destructive-measurement operator.
Keywords for this software
References in zbMATH (referenced in 4 articles , 2 standard articles )
Showing results 1 to 4 of 4.
- Matos, Armando B.; Paolini, Luca; Roversi, Luca: The fixed point problem of a simple reversible language (2020)
- Masini, Andrea; Zorzi, Margherita: A logic for quantum register measurements (2019)
- Paolini, Luca; Piccolo, Mauro; Zorzi, Margherita: QPCF: higher-order languages and quantum circuits (2019)
- Paolini, Luca; Zorzi, Margherita: qPCF: a language for quantum circuit computations (2017)