On Abstract Machine Semantics for Proto-Quipper-M

Andrea Colledan

Quipper is a domain-specific programming language for the description of quantum circuits. Because it is implemented as an embedded language in Haskell, Quipper is a very practical…