18 citations · 62 across the 18 of their papers we have counts for
7 papers · 1 filter
Staged Hybrid Quantum-Classical Programming
Chuta Sano, Peng Fu, Ryan Kavanagh +2
Hybrid quantum-classical computing systems consist of a classical control system that sends quantum circuits and receives measurement results from a quantum co-processor. Such syst…
Proto-Quipper with dynamic lifting
Peng Fu, Kohei Kishida, Neil J. Ross +1
Quipper is a functional programming language for quantum computing. Proto-Quipper is a family of languages aiming to provide a formal foundation for Quipper. In this paper, we exte…
A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting
Peng Fu, Kohei Kishida, Neil J. Ross +1
Quipper and Proto-Quipper are a family of quantum programming languages that, by their nature as circuit description languages, involve two runtimes: one at which the program gener…
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
Peng Fu, Kohei Kishida, Neil J. Ross +1
We introduce dependently typed Proto-Quipper, or Proto-Quipper-D for short, an experimental quantum circuit programming language with linear dependent types. We give several exampl…
Linear Dependent Type Theory for Quantum Programming Languages
Peng Fu, Kohei Kishida, Peter Selinger
Modern quantum programming languages integrate quantum resources and classical control. They must, on the one hand, be linearly typed to reflect the no-cloning property of quantum…
Coinductive Soundness of Corecursive Type Class Resolution
František Farka, Ekaterina Komendantskaya, Kevin Hammond
Horn clauses and first-order resolution are commonly used to implement type classes in Haskell. Several corecursive extensions to type class resolution have recently been proposed,…