311 citations · 1.2k across the 38 of their papers we have counts for
Showing 2022 · cs.PLShow all
2 papers · 2 filters
cs.PL2022★ 1 cited
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…
cs.PL2022★ 3 cited
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…