2 papers
cs.PL2022
On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version)
Andrea Colledan, Ugo Dal Lago
In the realm of quantum computing, circuit description languages represent a valid alternative to traditional QRAM-style languages. They indeed allow for finer control over the out…
cs.PL2021
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…